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

TEST: 174-2-T42-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  
 (**   
  * 17. Math extensions.  
  * 17.4.2. Matrix operators  
  *   
  * Positive test: matrix division  
  * with scalar  
  *)  
   
 module Main;  
   
 type vi = array {math} * of integer;  
 type vr = array {math} * of real;  
 type mi = array {math} *,* of integer;  
 type mr = array {math} *,* of real;  
 type vb = array {math} * of boolean;  
   
 var  
      Ai, Bi, Ci : mi;  
      ai, bi, ci : vi;  
      X, R : mr;  
      x, r : vr;  
      ab, bb, cb : vb;  
        
      ii, ji : vi;  
      ib, jb : vb;  
        
      i, j : integer;  
      k : integer;  
     
 begin  
          
      ai := [1,2];  
          
      Ai := [[1, 2, 4], [6, -1, 7], [5, -1, 7]];    
      Ci := [[0, 1, 0], [0, 0, 1], [1, 0, 0]];  
      Bi := [[-3, 2, 1], [5, -4, 6]];    
      ai := [4, -3, 5];  
      bi := [1, 4, -2];  
        
      ii := [0, 1];  
      ji := [0, 2, 1, 0];  
      ib := [truefalsetrue];  
        
      x := bi[ib] / Ai[0..1, ii];  
      r := x * Ai[0..1, ii] - bi[ib];  
      if abs(r) > 0.001  
      then  
           halt(0);  
      else  
           halt(1);  
      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