-- test of constants and modulo operator
-- Semantic checking
@c+
module test11_1 -- should do a good job with these now
private
 integer a;
 const z = 6;
 const m = 4;
 const t = false;
 const neg = -3;

begin

 a := 55;

-- run time check divide by zero
a := a\(a-55); -- fails at runtime;

-- semantic checks
a := a + t; -- type error compiler should recover;
a := true;  -- ditto

m := m+1;  -- fails at compile -- recover;
t := true; -- fails at compile -- recover;

end. -- four compile errors, one runtime (macc2) error. 
