Date: Tue Jun 19 2007 - 01:37:56 PDT
Hi, The rules regarding the type of a value parameter, as formulated in 1364, say basically that a value parameter whose type is not specified in the declaration gets the type of the value assigned to it in the parameter declaration or in the parameter override.(see 6.20.2 and 22.9.1 in D3a.) For example, in 1364 an untyped parameter can be assigned an integral value or a real value and the parameter gets the type of the value. Question: in 1800, can one do this for other types as well? That is, can one assign to an untyped value parameter a structure, an array, a string, an enum, etc.? Can one assign an untyped value parameter an integral value in the declaration and then override it with an unpacked array, etc.? I would guess so, but it is not completely clear since the rules were just copied from 1364, but not updated to additional 1800 data types. (The 1364 terminology, which still appears in the merged LRM, is somewhat inconsistent with 1800, in that the bit range is not considered part of the type, whereas I think it is in 1800. Also, the rules concerning the signedness are different in that if the parameter is declared as signed, but without a range, then it stays signed, but also gets the range of the value assigned to it.) Thanks, Shalom Shalom Bresticker Intel Jerusalem LAD DA +972 2 589-6852 +972 54 721-1033 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
