Re: %destructor feedback

[Joel E. Denny]

On Thu, 20 Oct 2005, Akim Demaille wrote:

> > > > "Joel" == Joel E Denny <address@hidden> writes:
> > I've also noticed that the bison documentation says:
>
> >   Note that in the future, Bison might also consider that right hand
> >   side members that are not mentioned in the action can be destroyed.
>
> > If this is implemented,
<snip>

> Maybe that does not deserve that much attention: it seems pretty weird
> not to use a value.  A warning seems a better feature.
Warnings vs. automatic destructor calls for unused RHS semantic values.... 
Given the potential problems Wolfgang and I have pointed out, I vote for 
the warnings.  Disabling a particular warning would be as easy as adding a 
do-nothing `$5', for example.  Or, perhaps for readability, YYUSE could be 
placed in the user interface.
Joel