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.1 required=5.0 tests=BAYES_20,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!watmath!clyde!att!rutgers!mailrus!cornell!uw-beaver!fluke!ssc-vax!adolph
From: adolph@ssc-vax.UUCP (Mark C. Adolph)
Newsgroups: comp.lang.ada
Subject: Re: Collective response to := messages
Summary: Intermediate results
Message-ID: <2392@ssc-vax.UUCP>
Date: 2 Dec 88 19:34:43 GMT
References: <8811282217.AA04896@ajpo.sei.cmu.edu> <24856@sri-unix.SRI.COM>
Organization: Boeing Aerospace Corp., Seattle WA
List-Id: <comp.lang.ada>

In article <24856@sri-unix.SRI.COM>, trent@unix.SRI.COM (Ray Trent) writes:
> The LRM explicitly says that intermediate
> results need not follow the constraints of the ADT. 

Could you cite this in the LRM?  This could be a very important point for
we who are trying to model physical quantities (length, temperature,
density, etc.) as derived types and trying to do operations on these
types.

-- 

					-- Mark A.
					...uw-beaver!ssc-vax!adolph