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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE, MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4 Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!utgpu!water!watnot!watmath!clyde!cbatt!ucbvax!sdcsvax!telesoft!keith From: keith@telesoft.UUCP Newsgroups: comp.lang.ada Subject: Re: Fixed point reals Message-ID: <389@telesoft.UUCP> Date: Wed, 4-Mar-87 15:37:07 EST Article-I.D.: telesoft.389 Posted: Wed Mar 4 15:37:07 1987 Date-Received: Fri, 6-Mar-87 05:44:57 EST References: Organization: TeleSoft, SanDiego CA List-Id: > > type REAL is delta 0.01; > LRM 3.5.9:3 "If the fixed point constraint is used as a real type definition, then it must include a range constraint; ..." Obviously the first compiler (validated on 1.5) is incorrect. It is entirely possible that the 1.5 ACVC did not test this feature of the language. Our compiler produced the following: 2: type REAL is delta 0.01; ---------- >>> Range constraint required for fixed point type <3.5.9:6> LRM 3.5.9:6 starts "For a fixed point constraint that includes a range constraint..." Keith -- Keith Allan Shillington telesoft!keith@UCSD.ARPA 619/457-2700x388.ATT My opinions are mine. {ucbvax!sdcsvax,hp-sdd,bigbang}!telesoft!keith.UUCP