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

TEST: 03T45-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
(8, 18) Lexem ';' expected
(18, 18) Lexem ';' expected
PASSED Compiler: 1.2.8.0
Date, time: 2010.08.06, 22:22
Compilation: ERROR
Execution: NOT RUN
(8, 18) Lexem ';' expected
(18, 18) Lexem ';' expected

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  
 (**  
  * 2. Program Constructs and their Relations.  
  *    
  * Negative test: implementation refines module.  
  *)  
   
 (* I. The refined object A is declared after the refiner implementation B. *)  
 implementation B refines A;  
 end B.  
   
 module A;  
 end A.  
   
 (* II. The refined object D is declared before the refiner implementation C. *)  
 module D;  
 end D.  
   
 implementation C refines D;  
 end C.  
   
 module Main;  
 begin  
      halt(0);  
 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