RE: [sv-ac] 1495

Yes, that's the idea.  In my opinion, the whole sublanguage of
constant_this and constant_that could be profitably excised from the
BNF, so it would be great if we could resist adding to it.

Consider that "const_variable_lvalue" would probably need to change
every one of its "variable_lvalue" ocurrences to
"const_variable_lvalue", not just the first one, and also use a new
nonterminal "const_assignment_pattern_variable_lvalue".

I would suggest adding a footnote to variable_lvalue, perhaps

    "In a variable_lvalue that is assigned within a sequence_match_item
any select shall also be a constant_select."

 -- Brad

-----Original Message-----
From: Doron Bustan [mailto:dbustan@freescale.com] 
Sent: Wednesday, July 26, 2006 11:11 AM
To: Brad Pierce
Cc: sv-ac@eda-stds.org
Subject: Re: [sv-ac] 1495

Do you mean by writing something like :

"In assignments to local variables, the bit select on
the left hand side (if exists) has to be  a constant"

or, something else?

Thanks

Doron

Brad Pierce wrote:

>Why couldn't this be handled by a footnote or text?  This is a semantic
>issue, not a syntactic issue.
>
>-- Brad
>
>-----Original Message-----
>From: owner-sv-ac@eda-stds.org [mailto:owner-sv-ac@eda-stds.org] On
>Behalf Of Doron Bustan
>Sent: Wednesday, July 26, 2006 8:57 AM
>To: sv-ac@eda-stds.org
>Subject: [sv-ac] 1495
>
>All
>
>I upload a proposal for 1495 (also attached)
>
>Doron
>
>  
>