/* union declared with fields i and c */

expr : INTEGER { $<i>$ = 3; }
     | CHAR    { $<c>$ = 'a'; }
     ;

other : expr '!' { $$ = foo($1); }
      ;

/* error: "$1 is untyped" */