Re: %destructor feedback

[Paul Eggert]

"Joel E. Denny" <address@hidden> writes:

> I prefer that the clean-up *not* happen automatically for either
> YYABORT or YYERROR -- as in GLR parsing.

Yes, that sounds more flexible.

> If this is implemented, I believe that it should be implemented
> consistently for all three cases: the user's semantic action completes
> successfully, it calls YYABORT, or it calls YYERROR.

Yes, that sounds right to me as well.

> In other words, if you have an action that does nothing but invoke
> YYABORT/YYERROR, clean-up would be automatic.

This sounds a little tricky to explain and/or implement; wouldn't it
be better to stick with the simpler rules?  Perhaps I'm missing
something....