Re: @* and @(*) and @( * ) and (* ... *)

From: Dennis Marsa (drm@xilinx.com)
Date: Thu May 02 2002 - 07:25:12 PDT


Precedence: bulk

Paul Graham wrote:
>
> Precedence: bulk
>
> > If I had thought of the @(* ... ) and (* ... *) ambiguity, I would have
> > used it to back my objection to @(*).
> >
> > If you find @ followed by ( is this non-ambiguous?
>
> It turns out that an attribute is not allowed between the '@' and the
> opening '(' of the event list. So when you see '@' followed by '(*' you
> know it can't be an attribute. In my parser I have three separate
> productions to handle the wildcard sensitivity list:
>
> wildcard : '@' '*' | '@' '(*' ')' | '@' '(' '*' ')'
>
> It seems like a lot of work for a little piece of syntactic sugar!

Yes, but in your rule above, I think you also need to include

       '@' '(' '*)'

as a 4th alternative.

Dennis



This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:55:36 PDT and
sponsored by Boyd Technology, Inc.