From: Vinzent 'Gadget' Hoefler <ada.rocks@jlfencey.com>
Subject: Re: Modular integers
Date: Wed, 29 Oct 2003 13:16:26 +0100
Date: 2003-10-29T13:16:26+01:00 [thread overview]
Message-ID: <bnob59$13k2pr$1@ID-175126.news.uni-berlin.de> (raw)
In-Reply-To: 246onb.pnn.ln@skymaster
Jean-Pierre Rosen wrote:
>>"Vinzent 'Gadget' Hoefler" <ada.rocks@jlfencey.com> a écrit 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.
next prev parent reply other threads:[~2003-10-29 12:16 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-10-28 12:13 Modular integers Lars
2003-10-28 12:28 ` David C. Hoos
2003-10-28 12:48 ` Lars
2003-10-28 14:13 ` Vinzent 'Gadget' Hoefler
2003-10-28 16:55 ` Lars
2003-10-28 18:50 ` David C. Hoos
2003-10-28 20:46 ` Lars
2003-10-29 8:30 ` Vinzent 'Gadget' Hoefler
2003-10-29 10:39 ` Jean-Pierre Rosen
2003-10-29 12:16 ` Vinzent 'Gadget' Hoefler [this message]
2003-10-29 1:51 ` Raising exceptions (was: Modular integers) Jeffrey Carter
2003-10-29 3:02 ` Raising exceptions Hyman Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox