|
|
 |
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
|
|
