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.