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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-31 00:25:08 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!newshub.sdsu.edu!cox.net!news-xfer.cox.net!in.100proofnews.com!in.100proofnews.com!news02.tsnz.net!newsfeed01.tsnz.net!news.xtra.co.nz!53ab2750!not-for-mail
From: "AG" <ang@xtra.co.nz>
Newsgroups: comp.lang.ada
References: <badvd5$raumj$1@ID-175126.news.dfncis.de>
 <wcc65o5bdib.fsf@shell01.TheWorld.com> <vcqfcmacq3r461@corp.supernews.com>
 <Gdeza.49896$zt.17929@nwrdny01.gnilink.net>
 <vcsqis9d21of7@corp.supernews.com> <3ECFF541.1010705@attbi.com>
 <3ED0B820.5050603@noplace.com> <m59Aa.14549$fT5.5136@nwrdny01.gnilink.net>
 <3ED2096F.3020800@noplace.com> <WPqAa.18139$fT5.7613@nwrdny01.gnilink.net>
 <3ED353BE.40605@noplace.com> <bb1umi$4jh5e$1@ID-175126.news.dfncis.de>
 <3ED4A323.3000909@noplace.com> <bb2c3v$4sq9s$1@ID-175126.news.dfncis.de>
 <vda1gap101p119@corp.supernews.com> <3ED5E8DE.8070308@noplace.com>
 <dstanbro-D4C3C0.18423630052003@mec2.bigpond.net.au>
 <SoFBa.544$JA5.8476@news.xtra.co.nz>
 <dstanbro-C01C2E.20545030052003@mec2.bigpond.net.au>
 <C_GBa.676$JA5.11065@news.xtra.co.nz>
 <dstanbro-7BB353.23461030052003@mec2.bigpond.net.au>
Subject: Re: Saturated Math
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1106
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
Message-ID: <nNYBa.2048$JA5.40671@news.xtra.co.nz>
Date: Sat, 31 May 2003 19:25:52 +1200
NNTP-Posting-Host: 219.88.60.33
X-Complaints-To: newsadmin@xtra.co.nz
X-Trace: news.xtra.co.nz 1054365907 219.88.60.33 (Sat,
 31 May 2003 19:25:07 NZST)
NNTP-Posting-Date: Sat, 31 May 2003 19:25:07 NZST
Organization: Xtra
Xref: archiver1.google.com comp.lang.ada:38180
Date: 2003-05-31T19:25:52+12:00
List-Id: <comp.lang.ada>

"Dale Stanbrough" <dstanbro@bigpond.net.au> wrote in message
news:dstanbro-7BB353.23461030052003@mec2.bigpond.net.au...

> Ah, yes i did. Sorry, but I was in the middle of marking
> assignments, and was using c.l.a. as a welcome distraction...
>
> I don't like the idea that you have to create a dummy type...

Well, I don't agree that the type was a dummy type.
It served as a tool to specify some important
properties of the values of that type (namely,
the "stickiness"). That's exactly what separates
the values of that type from other regular numbers.
So it's quite appropriate that they are given their
own type and related operations (that's what
disambiguates the operations).

As for the need to pass in explicit low/high
limits and problems with what type they are:
That's exactly why I did not try to pass the
limit numbers in but used a generic type instead.