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

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

define eSqr ETimes e = ETimes e e;  -- Shadowing of ETimes, ineffective.