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, and is believed to be clean.Received on Mon Jun 6 14:34:19 2011
This archive was generated by hypermail 2.1.8 : Mon Jun 06 2011 - 14:34:22 PDT