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

TEST: 080CT02-X

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: ERROR
Execution: NOT RUN
(19, 9) Terminator Main doesn't match the name of compilation unit run
(12, 2) Could not find definition run.C
(12, 2) Procedure 'B' cannot implement anything from 'C'
(21, 1) Could not find module 'Main' which was specified as the program entry point
PASSED Compiler: 1.2.8.0
Date, time: 2010.08.06, 22:22
Compilation: ERROR
Execution: NOT RUN
(19, 9) Terminator Main doesn't match the name of compilation unit run
(12, 2) Could not find definition run.C
(12, 2) Procedure 'B' cannot implement anything from 'C'
(21, 1) Could not find module 'Main' which was specified as the program entry point
(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  
 (**   
  * 8. Procedure declaration and formal parameters  
  *  
  * Negative test: the procedure B implements procedure B  
  * from the not declared definition C.  
  *)  
 definition {public} A;  
      procedure B(i : integer) : integer;  
 end A.  
   
 module run implements A;  
      procedure {public} B(i : integer) : integer implements C.B;  
      begin  
           return i+1;  
      end B;  
 begin  
      if B(4) = 5  
      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