|
 |
TEST: 050307T06-X
categorystatusCompilation 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 (31, 2) Types 'object{A,B}' and 'C' are not assignment compatible |
| PASSED | Compiler: 1.2.8.0 Date, time: 2010.08.06, 22:22 Compilation: ERROR Execution: NOT RUN (31, 2) Types 'object{A,B}' and 'C' are not assignment compatible (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  
| (**
* 5. Declarations.
* 5.3. Type declaration.
* 5.3.6 Postulated interface type.
*
* Negative test: Postulated interface type using.
* The object C implements one of postulated interfaces only.
* The type is declared before it is used in postulated interface.
*)
definition A;
procedure fa : integer;
end A.
definition B;
procedure fb : integer;
end B.
object C implements B;
procedure {public} fa : integer;
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
|
|