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,e6545823a74c7c29
X-Google-Attributes: gid103376,public
From: eachus@spectre.mitre.org (Robert I. Eachus)
Subject: Re: Fixed point design error in Ada95
Date: 1998/09/12
Message-ID: <EACHUS.98Sep11203812@spectre.mitre.org>#1/1
X-Deja-AN: 390287912
References: <6t6ihg$dkn1@onews.collins.rockwell.com>
 <Ez28q4.FJL.0.-s@inmet.camb.inmet.com>
 <6ta5h2$e0b2@onews.collins.rockwell.com> <6tb0j5$4rg$1@nnrp1.dejanews.com>
Organization: The Mitre Corp., Bedford, MA.
Newsgroups: comp.lang.ada
Date: 1998-09-12T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <6tb0j5$4rg$1@nnrp1.dejanews.com> dewarr@my-dejanews.com writes:

 > A pragma is obviously the wrong solution. It would be a nasty
 > kludge at best. Pragmas are not supposed to affect the legality
 > of programs.

   I agree.  This is one of the cases that 3.5.6(8) is supposed to
address.  The interesting thing is that Wayne Magor seems to have
identified a case of potentially general interest.  What Wayne needs
is a nonstandard fixed point type which corresponds to his hardware.
But he could build that out of a nonstandard fixed type which just got
rid of the special "*" and "/" operators.

   If someone wants to do this, be sure to take advantage of Reduced
Accuracy Subtypes from J.3:

   subtype My_Fixed is Nonstandard.Fixed delta 0.125; 

--

					Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...