From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,57eeeab2c16b68f8 X-Google-Attributes: gid103376,public From: dewar@merv.cs.nyu.edu (Robert Dewar) Subject: Re: the 'small attribute and Ada95 Date: 1996/11/12 Message-ID: #1/1 X-Deja-AN: 196322230 references: <32889629.1C01@emw.ericsson.se> organization: New York University newsgroups: comp.lang.ada Date: 1996-11-12T00:00:00+00:00 List-Id: Robert Duff says "Several floating point attributes were removed from the language. The intent was that implementations would support them anyway, as implementation-defined attributes, for upward compatibility. We just didn't want to go to the trouble of defining what they mean in the RM. Unfortunately, there was a glitch -- an implementation is allowed to define new attributes, but is not allowed to extend existing attributes. Since Small is defined for fixed point types, it would normally be illegal for an implementation to allow float'Small. However, AI-93 explicitly gives permission to support Small on floating point types. AI-93 has been approved by the appropriate ISO committees (ARG and WG9)." GNAT implements all Ada 83 attributes, including Small on floating-point types. I think it would be desirable if all Ada 95 compilers would do the same.