From: keith@telesoft.UUCP
Subject: Re: Fixed point reals
Date: Wed, 4-Mar-87 15:37:07 EST [thread overview]
Date: Wed Mar 4 15:37:07 1987
Message-ID: <389@telesoft.UUCP> (raw)
In-Reply-To: MS.V3.18.km38.80021108.allentown.ibm032.3469.1@andrew.cmu.edu
>
> 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
prev parent reply other threads:[~1987-03-04 20:37 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1987-02-25 2:35 Fixed point reals km38#
1987-03-01 23:13 ` Geoff Mendal
1987-03-02 14:45 ` John B. Goodenough
1987-03-04 20:37 ` keith [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox