Re: %destructor declared by semantic type

[Joel E. Denny]

On Wed, 21 Jun 2006, Akim Demaille wrote:

> I feel uncomfortable with Bison looking too much at actions.  Your
> rules are smart

Unfortunately not so smart as it turns out.

> When the user is toying with $<T>$, she is aware that's is basically a
> cast (wrt Bison's system), and she's on her own.

I agree that's an easier way to look at it.

> Or maybe we want to be able to report things such as
> 
>    exp: exp %type <int>{ $$=$1; } '+' exp { $$ = $2 + $4; };
> 
> or without the %type?

Something like that seems more reasonable since it's an explicit 
declaration as when declaring types for symbols.  However, I think we can 
add %destructor by type now, and add this later without any backward 
compatibility issues.  That would not have been true of my original 
proposal, so I pushed it immediately.

> Also, please, consider applying these changes to %printer too.

Ok.

Joel