RE: [sv-ac] Updated proposal for #1728 let statement uploaded

Thanks!
ed


________________________________

	From: Lisa Piper [mailto:piper@cadence.com] 
	Sent: Wednesday, July 25, 2007 10:57 AM
	To: Eduard Cerny; sv-ac@eda-stds.org
	Subject: RE: [sv-ac] Updated proposal for #1728 let statement
uploaded
	
	

	 

	 

	-----Original Message-----
	From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf
Of Eduard Cerny
	Sent: Wednesday, July 25, 2007 9:32 AM
	To: sv-ac@eda-stds.org
	Subject: [sv-ac] Updated proposal for #1728 let statement
uploaded

	 

	Hi,

	 

	please find attached the proposal for your convenience. 

	The changes are:

	 

	- take care of red dots and commas as mentioned by Brad, and

	- description of formal arguments just refers to 16.7.1 as
updated by

	proposal for Mantis #1601.

	 

	There is some duplication of formal arg definition:

	For sequences, 1601 defines 

	sequence_formal_type ::=

	     data_type_or_implicit

	     | context

	 

	The same definition is used for  let_formal_type. Should it be
changed

	to sequence_formal_type? Or the other way round?

	[Lisa Piper >>>] I think it is ok as is. Eventually, the
sequence_formal_type definition will be modified to also include a type
for "sequence", and "events", which are not appropriate for "let". 

	 

	Thanks,

	ed

	 

	-- 

	This message has been scanned for viruses and

	dangerous content by 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.