Subject: Re: bnf update - PLEASE REVIEW
From: Peter Flake (flake@co-design.com)
Date: Mon Apr 29 2002 - 03:23:32 PDT
Alec,
At 02:14 PM 4/23/02 -0700, Alec Stanculescu wrote:
>I am looking at the BNF. Our automatic checker still does not accept
>it. A couple of the problems are:
>
>1. There are {} around items which should not have them (I think!)
> such as around the attribute in front of a module declaration. I
> heard that there was some talk about this issue in the
> background. Please let me know if you know anything about this.
The SUPERLOG parser allows multiple attribute instances before a module
declaration.
>2. It is impossible to distinguish just from the syntax between a
> hierarchical identifier and a reference to an array element. In
> other words it is impossible to tell (just from the syntax) whether
> the index is an index into a register or an index into an array of
> instances.
You are correct that this can only be done during elaboration.
Peter.
This archive was generated by hypermail 2b28 : Mon Apr 29 2002 - 04:19:25 PDT