Re: [sv-ac] call to vote on 1667

Hi Manisha:

Dmitry also commented about this comment.

In a previous version, I had said that in the comment that the formal
argument "local logic f = g" is illegal because the declaration
assignment expression is not allowed to reference a local variable
declared in an assertion_variable_declaration.

I changed the example because now I think that the name resolution
would look elsewhere for g in the case of identifier collision.

Can you say more specifically what you think is wrong with the
comment?

J.H.

> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Mon, 14 Jan 2008 03:23:47 -0800
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: [sv-ac] call to vote on 1667
> Thread-Index: AchSKIdG2lcvNwVsTS6RhxtF9jL98AEbAPxg
> From: "Kulshrestha, Manisha" <Manisha_Kulshrestha@mentor.com>
> X-OriginalArrivalTime: 14 Jan 2008 11:23:44.0475 (UTC) FILETIME=[EC539AB0:01C8569F]
> 
> Hi,
> 
> I think there is a typo in the comment below on page 3:
> 
> local logic f =3D g // g cannot refer to the local variable below and
> 
> I have looked at part 1 and it looks good so far.
> 
> Thanks.
> Manisha
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.