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

TEST: 173-T05-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  
 (**   
  * 17. Math extensions.  
  * 17.3. Indexing  
  *   
  * Positive test: range indexing  
  *)  
   
 module Main;  
   
 var  
      a : array {math} 5 of real;  
      b : array {math} 5, 3 of cardinal;  
 begin       
      a[1.. by 2] := [5., 7.];  
      if (a[1] = 5.) & (a[3] = 7.) & (a[0] = 0.) & (a[2] = 0.) & (a[4] = 0.)  
      then  
   
      else  
           halt(0);  
      end;  
   
      b[..3 by 2, ..] := [[1, 2, 3], [4, 5, 6]];  
      if (b[0, 0] = 1) & (b[0, 1] = 2) & (b[0, 2] = 3) &  
           (b[1, 0] = 0) & (b[1, 1] = 0) & (b[1, 2] = 0) &  
           (b[2, 0] = 4) & (b[2, 1] = 5) & (b[2, 2] = 6) &  
           (b[3, 0] = 0) & (b[3, 1] = 0) & (b[3, 2] = 0) &  
           (b[4, 0] = 0) & (b[4, 1] = 0) & (b[4, 2] = 0)  
      then  
           halt(1);  
      else  
           halt(0);  
      end;  
 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