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

coercions Exp 1;
EInt.     Exp1 ::= Integer;
ETimes.   Exp ::= Exp "*" Exp1;
eComment. Exp ::= String Exp1;

define eComment x x = x;  -- Shadowing.