[sv-cc] Can let declarations use the untyped keyword

From: Stuart Sutherland <stuart_at_.....>
Date: Sat Aug 01 2009 - 23:38:44 PDT
The BNF in P1800/D9 says that a let declaration formal argument is:

 

let_formal_type ::=

   data_type_or_implicit

 

I understand this to mean that the "untyped" keyword that was added for
sequences, properties and checkers cannot be used with let declarations.
Was this intentional, or am I reading the BNF incorrectly?  If intentional,
why?

 

Stu

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

Stuart Sutherland

stuart@sutherland-hdl.com

(503) 692-0898

 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Sat Aug 1 23:47:40 2009

This archive was generated by hypermail 2.1.8 : Sat Aug 01 2009 - 23:48:02 PDT