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

TEST: 050307T07-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
(14, 8) Name 'B' does not denote a definition as expected
(14, 8) Cannot import 'B'. If it is an external name check if you have referenced the library
(18, 2) Could not find definition B
(18, 2) Procedure 'fb' cannot implement anything from 'B'
(23, 12) Cannot import 'B'. If it is an external name check if you have referenced the library
(25, 17) Entity 'B' is of an unknown type
(25, 6) Entity '{A, B};' is of an unknown type
(25, 17) Entity 'B' is of an unknown type
PASSED Compiler: 1.2.8.0
Date, time: 2010.08.06, 22:22
Compilation: ERROR
Execution: NOT RUN
(14, 8) Name 'B' does not denote a definition as expected
(14, 8) Cannot import 'B'. If it is an external name check if you have referenced the library
(18, 2) Could not find definition B
(18, 2) Procedure 'fb' cannot implement anything from 'B'
(23, 12) Cannot import 'B'. If it is an external name check if you have referenced the library
(25, 17) Entity 'B' is of an unknown type
(25, 6) Entity '{A, B};' is of an unknown type
(25, 17) Entity 'B' is of an unknown type
(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  
 (**   
  * 5. Declarations.  
  * 5.3. Type declaration.  
  * 5.3.6 Postulated interface type.  
  *  
  * Negative test: Postulated interface type using.  
  * One of postulated interfaces is not declared.  
  * The type is declared before it is used in postulated interface.  
  *)  
 definition A;  
      procedure fa : integer;  
 end A.  
   
 object C implements A, B;  
      procedure {public} fa : integer implements A.fa;  
      begin return 3 end fa;  
   
      procedure {public} fb : integer implements B.fb;  
      begin return 4 end fb;  
 end C.  
   
 module Main;  
      import A, B, C;  
   
      var x : object {A, B};  
 begin  
      x := new C;  
   
      if (x.fa() = 3) & (x.fb() = 4)   
     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