[sv-ec] RE: "untyped" parameter types

This was mentioned in Mantis 2292.

Shalom

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Steven Sharp
Sent: Tuesday, June 07, 2011 12:34 AM
To: SV_EC List
Subject: [sv-ec] "untyped" parameter types

Found the text I was looking for in the 1800-2005 LRM. Section 6.3.2 says

"In an assignment to, or override of, a parameter without an explicit type declaration, the type of the right-hand expression shall be real or integral."

This text seems to have gotten lost when the messy rules for parameters without full explicit type declarations got merged in from 1364. Though those 1364 rules are more detailed about what happens with partial declarations of the type, they simply assumed that the type of the expression was real or integral, since those were the only assignable types in 1364.

I don't believe there was any intent to change this rule. It was simply an editorial error. I think that it should be added back to the LRM.

--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, 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 MailScanner, and is
believed to be clean.