From: Paul Graham (pgraham@cadence.com)
Date: Wed May 01 2002 - 21:41:34 PDT
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!
This touches back on my question about whether '+:' is one token or two.
The VHDL LRM explictly lists all the one- and two-character tokens. The
Verilog LRM does not do this. It's up to the implementors to figure it out.
Paul
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:55:36 PDT
and
sponsored by Boyd Technology, Inc.