RE: [sv-ac] call to vote on 1900

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Tue Nov 13 2007 - 12:23:06 PST
Yaniv, 

> * page 8: it is mentioned:
> "Variables used in a checker that are neither formal 
> arguments to the checker nor internal variables of the 
> checker are resolved according to the scoping rules from the 
> scope in which the checker is declared."
> Don't you mean where the checker is *instantiated* instead of 
> declared ?

No. "declared" is correct. This is consistent with other constructs of
the language.
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Nov 13 12:23:23 2007

This archive was generated by hypermail 2.1.8 : Tue Nov 13 2007 - 12:24:08 PST