comp.lang.ada
 help / color / mirror / Atom feed
From: Mendal@SIERRA.STANFORD.EDU (Geoff Mendal)
Subject: Re: Fixed point reals
Date: Sun, 1-Mar-87 18:13:25 EST	[thread overview]
Date: Sun Mar  1 18:13:25 1987
Message-ID: <12283010785.21.MENDAL@Sierra.Stanford.EDU> (raw)
In-Reply-To: MS.V3.18.km38.80021108.allentown.ibm032.3469.1@andrew.cmu.edu

All fixed point types must specify a range constraint, in addition
to a "delta" accuracy.  See ARM 3.5.9(3).  Note that the range
constraint is optional for fixed point SUBTYPES.

The reason for requiring the range constraint on the fixed type
definition is that the underlying model numbers are "computed"
using both the delta accuracy and the range constraint.  For a
floating point type definition, model numbers are computed solely
by the digits accuracy, hence the reason why a range constraint
is not required for a floating point type definition.

gom
-------

  reply	other threads:[~1987-03-01 23:13 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 [this message]
1987-03-02 14:45 ` John B. Goodenough
1987-03-04 20:37 ` keith
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox