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 09:13:47 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news.tele.dk!small.news.tele.dk!195.86.7.162!newsfeed.wirehub.nl!transit.news.xs4all.nl!not-for-mail
From: Fraser Wilson <newsfraser@blancolioni.org>
Newsgroups: comp.lang.ada
Subject: Re: Safe Units Handling in Ada
Date: Thu, 23 May 2002 18:15:13 +0200
Organization: XS4ALL Internet BV
Message-ID: <3CED1591.7090007@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>
 <338040f8.0205230757.2150b881@posting.google.com>
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 1022170513 4019 80.126.24.12 (23 May 2002 16:15:13
 GMT)
X-Complaints-To: abuse@xs4all.nl
NNTP-Posting-Date: 23 May 2002 16:15:13 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:24589
Date: 2002-05-23T16:15:13+00:00
List-Id: <comp.lang.ada>

Dan Andreatta wrote:

> This also should return kg**2.

It will, but you have to ask for it (because generating all possible 
unit combinations is infeasible and overkill).

For example, we can use the following definitions:

Kilogram is fundamental;
Square_Kilogram is Kilogram * Kilogram;

Macks will generate an Ada package containing, amonst other things, this 
function:

    function "*"
      (Left  : Kilogram;
       Right : Kilogram)
      return Square_Kilogram;

Fraser.