RE: [sv-ac] part 1 of 1667

Hi John,

As usual, I wrote half baked comments...
>>> 1. page 3,item before last:
>>>
>>>   "It shall be an error if the local variable formal
>>>    argument is unassigned at the completion of a match of the
instance
>>> of  =20
>>>    the named sequence."
>>>
>>>    It read like a run time test? I would like an elaboration time
>>> criteria
>>>    that determine whether an instantiation is legal.=20
>>
>>My intention is that this is an elaboration time test based
>>on the rules of local variable flow.  Do you think that this
>>needs to be reworded?

[[DB:]] Well reading it again I am not sure whether the current text
says   
        something different. I would be a little bit stricter:
        "It shall be an error if there exists a match of the named
sequence  
          for which the local variable formal argument is unassigned at
the 
          completion of the match."

         It is more strict because it does not consider an instance in a

         bigger context. Also, the "exists" makes it clearer that it is
an  
         elaboration time test.
       
>>
>>> 2. I think that there should be a little bit more text connecting
the
>>> new  =20
>>>    Use of local variables with local formal arguments and the "old
>>> style" =20
>>>    where local variables are used as actual arguments to un-typed
>>> variables.
>>
>>O.k.  But it will be helpful if you can outline what technical points
>>are to be made.
>>
[[DB:]] This is similar to Ed's point. Say somewhere in 16.7 that it is
legal to pass local variables without the local keyword using un-typed
formal arguments. Then, point them to 16.9.


Doron
---------------------------------------------------------------------
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.