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


Reply via email to