Home
   News
   About the project
   Language
   Compiler download
   Test suite
   Blog on the programming model
   Zonnon @ OCP Forum
   Collection of examples

TEST: 174-1-3-T033-T

category

status

Compilation and execution results for Windows (first) and Mono (second)
PASSED Compiler: 1.2.8.0
Date, time: 2010.08.06, 18:06
Compilation: SUCCESS
Execution: SUCCESS
PASSED Compiler: 1.2.8.0
Date, time: 2010.08.06, 22:22
Compilation: SUCCESS
Execution: SUCCESS
(0, 0) Assembly reference not resolved: System.Configuration, Version=2.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a.

code

1  
2  
3  
4  
5  
6  
7  
8  
9  
10  
11  
12  
13  
14  
15  
16  
17  
18  
19  
20  
21  
22  
23  
24  
25  
26  
27  
28  
29  
30  
31  
32  
33  
34  
35  
36  
37  
38  
39  
40  
41  
42  
43  
44  
45  
46  
47  
48  
49  
50  
51  
52  
53  
54  
55  
56  
57  
58  
59  
60  
61  
62  
63  
64  
65  
66  
67  
68  
69  
70  
71  
72  
73  
74  
75  
76  
77  
78  
79  
80  
81  
82  
83  
84  
85  
86  
87  
88  
89  
90  
91  
92  
93  
94  
 (**   
  * 17. Math extensions.  
  * 17.4. Operators  
  * 17.4.2. Binary  
  *   
  * Positive test: Binary +  
  * array + array  
  *)  
   
 module Main;  
   
 type vi = array {math} *,* of integer;  
 type vr = array {math} *,* of real;  
 type vc = array {math} *,* of cardinal;  
   
 type iind = array {math} * of integer;  
 type bind = array {math} * of boolean;  
   
 var  
      ai1 : array {math} 2, 3 of integer;  
      ai2, ai3 : vi;  
      ar1 : array {math} 2, 3 of real;  
      ar2, ar3, ar4 : vr;  
      ac1 : array {math} 2, 3 of cardinal;  
      ac2, ac3 : vc;  
        
      bi1, bi2 : iind;  
      bb1, bb2 : bind;  
        
      i, j : integer;  
        
 begin       
        
      ai1 := [[-1, 2, -3], [4, -5, 6]];  
      ai2 := [[-23, -24, 35], [-3, 25, 45]];  
      ar1 := [[1.3, -2.1, 3.4], [-4.1, 5.2, -6.7]];  
      ar2 := [[6.1, +3.8, 2.6], [+4.1, -5.1, -3.1]];  
      ac1 := [[1, 2, 3], [4, 5, 6]];  
      ac2 := [[4, 3, 1], [8, 2, 16]];  
        
        
      ai3 := ai1 + ai2;  
      ar3 := ar1 + ar2;  
      ar4 := ar1 + ai1;  
      ac3 := ac1 + ac2;  
        
      for i := 0 to len(ai1, 0) - 1  
      do  
           for j := 0 to len(ai1, 1) - 1  
           do  
                if ai3[i, j] # (ai1[i, j] + ai2[i, j])   
                then   
                     halt(0);  
                end;  
           end;  
      end;  
             
      for i := 0 to len(ai1, 0) - 1  
      do  
           for j := 0 to len(ai1, 1) - 1  
           do  
                if ar3[i, j] # (ar1[i, j] + ar2[i, j])   
                then   
                     halt(0);  
                end;  
           end;  
      end;  
        
      for i := 0 to len(ai1, 0) - 1  
      do  
           for j := 0 to len(ai1, 1) - 1  
           do  
                if ar4[i, j] # (ar1[i, j] + ai1[i, j])   
                then   
                     halt(0);  
                end;  
           end;  
      end;  
        
      for i := 0 to len(ai1, 0) - 1  
      do  
           for j := 0 to len(ai1, 1) - 1  
           do  
                if ac3[i, j] # (ac1[i, j] + ac2[i, j])   
                then   
                     halt(0);  
                end;  
           end;  
      end;  
             
      halt(1);  
        
 end Main.  
       

information

  • PASSED - overall positive decision about the test
  • NOT PASSED - overall negative decision about the test
  • SUCCESS - compilation / execution successful
  • ERROR - compilation failed with normal syntax or semantic error
  • ABORT - compilation failed because of an internal compiler error
  • NOT RUN - the test was not / not supposed to be executed
  • FAIL - execution failed
Copyright © 2010 ETH Zurich, Switzerland