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,a5f77772dc1375a3
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-05-23 03:22:42 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!transit.news.xs4all.nl!not-for-mail
From: Fraser <newsfraser@blancolioni.org>
Newsgroups: comp.lang.ada
Subject: Re: Safe Units Handling in Ada
Date: Thu, 23 May 2002 12:24:09 +0200
Organization: XS4ALL Internet BV
Message-ID: <3CECC349.4080108@blancolioni.org>
References: 
 <u3cwlbz02.fsf@FWILSON.i-did-not-set--mail-host-address--so-shoot-me>
 <3CEB7124.4050604@blancolioni.org>
 <01HW.B91197820000C3D90E449050@netnews.netaxs.com>
 <3CECB651.3010209@blancolioni.org>
 <jf3H8.367$FZ4.75228@newsfep1-win.server.ntli.net>
NNTP-Posting-Host: a80-126-24-12.adsl.xs4all.nl
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: news1.xs4all.nl 1022149503 24868 80.126.24.12 (23 May 2002 10:25:03
 GMT)
X-Complaints-To: abuse@xs4all.nl
NNTP-Posting-Date: 23 May 2002 10:25:03 GMT
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.0rc2) Gecko/20020510
X-Accept-Language: en-us, en
Xref: archiver1.google.com comp.lang.ada:24573
Date: 2002-05-23T10:25:03+00:00
List-Id: <comp.lang.ada>

martin.m.dowie wrote:

> Wouldn't a better (by this I mean more readable/understandable) solution be
> to derive a new 'Unitless' (or 'Dimensionless') type from 'Float_Type'?

It depends on whether you see the generic argument as an actual type 
intended to be used with the definitions of the generated units package, 
or whether it's merely a way of saying how precise you want the package 
to be.  I've opted for the former; I can make that an option.

> Also, can't there just be a single "pragma Inline"? i.e. "pragma Inline
> ("*", "/");"
> at the bottom of the file - doesn't this cover all the overloaded operators
> prior
> to this single pragma?

Um, yeah.  I've vaguely wondered about this for years; but I never got 
around to reading 6.3.2(7) -- silly me.  I'll fix that now.

> Cracking effort all the same! :-)

Thanks!

Fraser.