-- Andreas, 2021-02-03
-- Warn about useless coercions pragma.

EInt.  Exp1 ::= Integer;
EPlus. Exp  ::= Exp "+" Exp1;

coercions Exp 0;  -- This is ignored with a warning.
coercions Exp 1;