Re: bison.simple patch for destruction of semantic values during error recovery

[Akim Demaille]

>>>>> "Cris" == Cris Bailiff <address@hidden> writes:

Cris> Hi, Please find attached a suggested patch for bison.simple
Cris> (against current CVS HEAD), which defines a couple of optional
Cris> hooks where the generated parser can call user-define code to
Cris> deal with the contents of a semantic value just before the value
Cris> is discarded during error recovery.

hi Cris.

We do need something like your patch, agreed.  But I don't want to
apply it, because it is very unclear what its interface should be.
Maybe we want something like

%free foo { foo_free ($$); }
%free bar { bar_free ($$); }

instead.  Maybe we want something à la YYPRINT (well, I doubt it,
since it does not cope well with nonterminals).

I am currently rewriting Bison's reader in Bison.  *Then* we well have
all the needed freedom to finally fix this very problematic bug.

I hope this is not too much of a problem for you?