From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: fixed point types over an interface
Date: 1997/02/18
Date: 1997-02-18T00:00:00+00:00 [thread overview]
Message-ID: <dewar.856296527@merv> (raw)
In-Reply-To: 1997Feb17.181818.3508@news.nbi.dk
Jacob says
<<| For composite types, the Write or Read attribute for each component is
| called in a canonical order ... Read and Write should use the smallest
| number of stream elements needed to represent all values in the base
| range of the scalar type.
^^^^^^^^^^
Is there anything that prevents the "stream elements" to fill 32 bits?
If I read 13.13.1 in the LRM correctly, then there's absolutely nothing that
prevents type Stream_Element from being declared as "mod 32".>>
Right, that would be perfectly valid, but in any case, the part of yoru
quote after the ... is only implementation advice, and this means that
it should be followed unless there is good reason not to follow it, and
in any case whether you follow it or not has nothing to do with
conformance.
next prev parent reply other threads:[~1997-02-18 0:00 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-02-07 0:00 fixed point types over an interface Allen Krell
1997-02-07 0:00 ` Robert Dewar
1997-02-10 0:00 ` Mats Weber
1997-02-10 0:00 ` Robert Dewar
1997-02-11 0:00 ` nassera
1997-02-12 0:00 ` Samuel Tardieu
1997-02-12 0:00 ` Jon S Anthony
1997-02-12 0:00 ` Laurent Pautet
1997-02-12 0:00 ` Robert Dewar
1997-02-12 0:00 ` Mats Weber
1997-02-17 0:00 ` Jacob Sparre Andersen
1997-02-18 0:00 ` Robert Dewar [this message]
1997-02-12 0:00 ` Laurent Pautet
1997-02-13 0:00 ` Jon S Anthony
1997-02-07 0:00 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox