Re: FYI: default %printer/%destructor

[Paolo Bonzini]

Joel E. Denny wrote:
> On Thu, 14 Sep 2006, Joel E. Denny wrote:
>
> > On Thu, 14 Sep 2006, Akim Demaille wrote:
> >
> > > Or better yet (?), no %symbol-default, but:
> > >
> > >   %printer { cerr << @$ << ": " << $$; } <*>
> > So, this means all symbols with types, right?  I was actually thinking of 
> > this syntax before %symbol-default, but then I rejected it because I 
> > couldn't figure out what to do about type-less symbols....
> >
> > >   %printer { cerr << @$; } <->
> > I like this.  Small difference though: what about <!>?  In my mind, "!" = 
> > "not", and it looks slightly odd, which is what we mean to imply, I think.

What about <UNTAGGED>?  As in

 | TYPE              {
        if (!strcmp ($1, "UNTAGGED"))
          $$ = symbol_list_default_tagless_new (@1);
        else
          $$ = symbol_list_type_new ($1, @1);
        }

Thoughts?  * is universally known as "everything", ! looks a bit weird 
to me...

Paolo