Is a renamed predefined operator predefined? AI-00607/00 1 88-12-13 co RE !standard 04.09 (02) 88-12-13 AI-00607/00 !class confirmation 88-12-13 !status received 88-12-13 !topic Is a renamed predefined operator predefined? !summary 88-12-13 !question 88-12-13 !response 88-12-13 !appendix 88-11-29 ***************************************************************************** !section 04.09 (02) R. Pierce 88-11-29 83-01051 !version 1983 !topic Is a renamed predefined operator predefined? Is an expression static if it contains an operator which is a renaming of a predefined operator? A renamed constant is OK in a static expression (AI-001) as is a renamed enumeration literal (AI-438). By analogy, it would seem reasonable to allow an operator symbol which identifies a renaming declaration which renames a predefined operator to be a valid constituent of an static expression. However, some validated compilers accept the following example and some reject it. package P is type MY_INT is range -2**15 .. 2**15-1; end P; function "+" (L, R : P.MY_INT) renames P."+"; -- Avoid use clause V : constant P.MY_INT := 6; ........ case E is when V + 1 => .... -- Is the expression static ? VADS version 5.5 rejects this, although version 5.4 and previous accepted it. DEC Ada accepts it. Regards, Ron Pierce