RE: Implicit variables - should they be reserved keywords?

["Andrew Piziali" <andy@verisity.com>]

Tim, you wrote:

>   It was me that originally raised this query with Darren.  I'm not
>   sure what you mean by:

>      "The reason they are not keywords is because each is an
>      implicitly declared var within the scope of its action block."

>   Certainly the reason why the two pieces of code behave as they do is
>   clear.  The problem is that if a user forgot that "result" was an
>   implicit variable for a value-returning method then that user may
>   expect the two pieces of code to give the same "result."  It seems
>   to me that a good reason for making a word reserved is to prevent
>   the risk of such things happening.

Absolutely.  Darren, I would post this as a P1647 e LRM issue for
debate.

Thanks.


-- 
	Andrew Piziali, <andy@verisity.com>, +1-972-516-3773

"The difference between `test' and `verification' is often overlooked
...  You test the device ... to insure that the implementation works.
... Verification ... checks to see if the hardware or software meets the
requirements of the original specification."

      -- Gary Smith, "The Dream," Integrated System Design, 12/2000