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