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,1dd28d5040ded1f8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-05-16 14:58:03 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!nycmny1-snh1.gtei.net!cpk-news-hub1.bbnplanet.com!news.gtei.net!newscon02.news.prodigy.com!newsmst01.news.prodigy.com!prodigy.com!postmaster.news.prodigy.com!newssvr21.news.prodigy.com.POSTED!3bae8248!not-for-mail
From: tmoran@acm.org
Newsgroups: comp.lang.ada
Subject: Re: Announce: Grace project site operational
References: <abtuvt$ror$1@nh.pace.co.uk>
X-Newsreader: Tom's custom newsreader
Message-ID: <4XVE8.22$Bc1.3744051@newssvr21.news.prodigy.com>
NNTP-Posting-Host: 64.175.242.6
X-Complaints-To: abuse@prodigy.net
X-Trace: newssvr21.news.prodigy.com 1021586240 ST000 64.175.242.6 (Thu,
 16 May 2002 17:57:20 EDT)
NNTP-Posting-Date: Thu, 16 May 2002 17:57:20 EDT
Organization: Prodigy Internet http://www.prodigy.com
X-UserInfo1: 
 SCSYASVGXZUWSVPXN[O@_WH@YR_B@EXLLBWLOOAFEQR@ETUCCNSKQFCY@TXDX_WHSVB]ZEJLSNY\^J[CUVSA_QLFC^RQHUPH[P[NRWCCMLSNPOD_ESALHUK@TDFUZHBLJ\XGKL^NXA\EVHSP[D_C^B_^JCX^W]CHBAX]POG@SSAZQ\LE[DCNMUPG_VSC@VJM
Date: Thu, 16 May 2002 21:57:20 GMT
Xref: archiver1.google.com comp.lang.ada:24233
Date: 2002-05-16T21:57:20+00:00
List-Id: <comp.lang.ada>

> Not only is there the proliferation of operators as an issue, but one of
> efficiency as well. Perhaps you can pragma Inline them all or otherwise get
  Think of type dimension checking as a special check performed by a
special tool - your compiler.  If you currently have a nice efficient
  package My_Units is  -- version after the compiler has said dimensions are OK
    subtype Miles is Float range ...
    subtype Hours is Float range ...
  end My_Units;
then, when it's time to check that the dimensions are OK, replace that
package with
  package My_Units is -- version to check if I screwed up dimensions
    type Miles is new Float range ...
    type Hours is new Float;
    -- appropriate '*' and '/' functions
  end My_Units;
and see if your program still compiles.  If not, fix the problem.  When
it does compile, switch back to the original package My_Units and
compile to generate code.