-- Andreas, 2021-02-05
-- Type checking error.

EInt. Exp ::= Integer;
id.   Exp ::= "(" Exp ")" ;

define id e = EInt e;  -- Expected type of e does not match inferred type.