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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,cc4f25d878383cc
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-12-14 09:37:52 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!hammer.uoregon.edu!skates!not-for-mail
From: Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>
Newsgroups: comp.lang.ada
Subject: Re: Dimensionality Checking (Ada 20XX)
Date: 14 Dec 2001 12:30:28 -0500
Organization: NASA Goddard Space Flight Center
Message-ID: <u7krphfpn.fsf@gsfc.nasa.gov>
References: <mailman.1007683804.26935.comp.lang.ada@ada.eu.org>
 <11bf7180.0112070815.2625851b@posting.google.com>
 <9v0crt$bo2bi$1@ID-25716.news.dfncis.de> <haTQ7.21816$wL4.49551@rwcrnsc51>
 <9v37rs$cdmva$1@ID-25716.news.dfncis.de> <upu5ln22l.fsf@gsfc.nasa.gov>
 <9v5loh$d5aki$1@ID-25716.news.dfncis.de> <u7krtl5u8.fsf@gsfc.nasa.gov>
 <9v6iv7$dcrbf$2@ID-25716.news.dfncis.de> <upu5kjzgq.fsf@gsfc.nasa.gov>
 <9vb860$e8rbj$1@ID-25716.news.dfncis.de>
 <9vb9m4$edl36$1@ID-25716.news.dfncis.de>
NNTP-Posting-Host: anarres.gsfc.nasa.gov
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: skates.gsfc.nasa.gov 1008351226 28390 128.183.220.71 (14 Dec 2001
 17:33:46 GMT)
X-Complaints-To: dscoggin@cne-odin.gsfc.nasa.gov
NNTP-Posting-Date: 14 Dec 2001 17:33:46 GMT
User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7
Xref: archiver1.google.com comp.lang.ada:17917
Date: 2001-12-14T17:33:46+00:00
List-Id: <comp.lang.ada>

"Nick Roberts" <nickroberts@adaos.worldonline.co.uk> writes:

> > Hah! That's a comment that O will touch upon further down.
> 
> I meant: That's a comment that I will touch upon further down.
> 
> And I never really did. My point simply is that you can indeed dynamically
> convert between feet, meters, inches, angstroms, parsecs, etc. within a
> single floating point type (usually) with impunity. You can't generally do
> this within one fixed point type; you can convert from one fixed point type
> to another, if their deltas and ranges are appropriately set, but these must
> be static.

I see. This is true. 

But for the purposes of verifying the dimensionality of equations
coded in Ada, it is orthogonal. So I'd still like any units facility
to support both float and fixed.

-- 
-- Stephe