8 lines
89 B
Text
8 lines
89 B
Text
|
class MAIN is
|
||
|
|
main is
|
||
|
|
i ::= 41;
|
||
|
|
assert i = 42; -- fatal
|
||
|
|
-- ...
|
||
|
|
end;
|
||
|
|
end;
|