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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,32c6d2fb891775fc
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-29 04:17:47 PST
Path: 
 archiver1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!adsl-213-200-246-247.cybernet.CH!not-for-mail
From: Vinzent 'Gadget' Hoefler <ada.rocks@jlfencey.com>
Newsgroups: comp.lang.ada
Subject: Re: Modular integers
Date: Wed, 29 Oct 2003 13:16:26 +0100
Organization: JeLlyFish software
Message-ID: <bnob59$13k2pr$1@ID-175126.news.uni-berlin.de>
References: <bnlmg1$kqv$04$1@news.t-online.com>
 <Pftnb.86846$5n.57615@bignews5.bellsouth.net>
 <bnloh2$q3d$03$1@news.t-online.com>
 <bnltkl$11i07f$1@ID-175126.news.uni-berlin.de>
 <bnm6vh$ebj$06$1@news.t-online.com>
 <bnntu1$13vcju$1@ID-175126.news.uni-berlin.de> <246onb.pnn.ln@skymaster>
Reply-To: v.hoefler@acm.org
NNTP-Posting-Host: adsl-213-200-246-247.cybernet.ch (213.200.246.247)
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: news.uni-berlin.de 1067429865 37358395 213.200.246.247 (16 [175126])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:1805
Date: 2003-10-29T13:16:26+01:00
List-Id: <comp.lang.ada>

Jean-Pierre Rosen wrote:

>>"Vinzent 'Gadget' Hoefler" <ada.rocks@jlfencey.com> a =E9crit dans le =
message de
>news:bnntu1$13vcju$1@ID->175126.news.uni-berlin.de...
>
>>So what we get here is a modular type with range constraints. *That's*
>>interesting... :-)
>
>The key to understanding this behaviour is that an expression is
>computed in its base type (not the expected subtype), and then
>converted to the expected subtype (which can raise Constraint_Error).

Yes. That is what I was thinking of last night before I fell asleep. I
just wanted to verify that.

And as always, Ada didn't disappoint me. Good girl. :-)


Vinzent.