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
Lines: 13

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