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