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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1f0e8beefacb537e
X-Google-Attributes: gid103376,public
From: dkristol@see-my.sig (David Kristola)
Subject: Re: Engineering types hierarchy
Date: 1999/09/10
Message-ID: <7ra3pm$gsd3@svlss.lmms.lmco.com>#1/1
X-Deja-AN: 523257690
Distribution: world
References: <7r9laf$1rk6$1@news.gate.net>
Organization: heaps of stacks
Reply-To: dkristol@see-my.sig
Newsgroups: comp.lang.ada
Date: 1999-09-10T00:00:00+00:00
List-Id: <comp.lang.ada>

In article 1@news.gate.net, "David Botton" <David@Botton.com> () writes:
>You may find this article on AdaPower of assitance:
>
>* Dimensional Arithmetics (Units of Measure) in Ada (Grein)
>http://www.adapower.com/lang/dimension.html
>
>David Botton

Thanks!

Unfortunately, the link to Christoph Grein's web site (where
the solution hinted at in the article exists) seem to be
broken (the server could not find the file).

The reason for using private types was to remove nonsensical
operators.  Meters * meters yields meters squared.  Ada95
allows us to remove those operators using "abstract".


--djk, keeper of arcane lore & trivial fluff
Home: David95037 at aol dot com
Spam: goto.hades@welovespam.com