Le 20 févr. 06 à 15:07, Akim Demaille a écrit :
Don't use YYPRINT, see %printer in the recent docs.
Err, on second thought, it is not yet documented :) For instance %printer { fprintf (stderr, "%d", $$); } integer [etc...] @$ is also available there, denoting the location of the symbol. _______________________________________________ Help-bison@gnu.org http://lists.gnu.org/mailman/listinfo/help-bison