RE: [sv-ac] RE: One more typo found in 17.7.1

From: Stuart Sutherland <stuart_at_.....>
Date: Wed Jul 22 2009 - 08:23:25 PDT
I don't know how a word like "const" could have been added accidentally, but
stranger things have happened.  I agree that it does not belong where it is
in this sentence.  I will strike it out in the final version of draft 9.

 

Stu

~~~~~~~~~~~~~~

Stuart Sutherland

stuart@sutherland-hdl.com

(503) 692-0898

 

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Bresticker, Shalom
Sent: Wednesday, July 22, 2009 1:36 AM
To: Korchemny, Dmitry; stuart@sutherland-hdl.com
Cc: sv-ac@server.eda.org; 'Neil.Korpusik@Sun.COM'
Subject: [sv-ac] RE: One more typo found in 17.7.1

 

It appears to me that this word was accidentally added by the editor in
Draft 7a. It does not appear in Draft 7.

 

Regards,

Shalom

 


  _____  


From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Korchemny, Dmitry
Sent: Wednesday, July 22, 2009 11:08 AM
To: stuart@sutherland-hdl.com
Cc: sv-ac@server.eda.org; 'Neil.Korpusik@Sun.COM'
Subject: [sv-ac] One more typo found in 17.7.1

Hi Stu,

 

I noticed a typo in 17.7.1 Checker variable assignments. It is written
there:

 

The formal semantics of free variable assignment is described in const
F.3.4.6.

 

const should be deleted.

 

Could you, please, fix it if it is not too late?

 

Thanks,

Dmitry

---------------------------------------------------------------------
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  <http://www.mailscanner.info/> MailScanner, and is 
believed to be clean. 

---------------------------------------------------------------------
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  <http://www.mailscanner.info/> MailScanner, and is 
believed to be clean. 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Jul 22 08:33:42 2009

This archive was generated by hypermail 2.1.8 : Wed Jul 22 2009 - 08:34:58 PDT