From: Jeffrey Carter <jrcarter@acm.org>
Subject: Re: if X in 1..35000 versus Boolean
Date: Sat, 13 Jul 2002 18:05:33 GMT
Date: 2002-07-13T18:05:33+00:00 [thread overview]
Message-ID: <3D306BD8.CF49BB0D@acm.org> (raw)
In-Reply-To: pan.2002.07.13.19.33.33.634009.1168@gmx.net
Jan Prazak wrote:
>
> But the word "in" tests, if given object (variable...) is
> in given enumeration type.
No, it doesn't. "in" checks for subtype membership. It is defined for
ALL types.
X in 1 .. 35_000
checks for membership of the value of X in an anonymous subtype. But you
can also write things like
type C is (Red, Yellow, Blue);
type R (D : C) is record ...
subtype RC is R (D => Yellow);
function F return C is ...
V : R (D => F);
if V in RC ...
--
Jeff Carter
"Monsieur Arthur King, who has the brain of a duck, you know."
Monty Python & the Holy Grail
next prev parent reply other threads:[~2002-07-13 18:05 UTC|newest]
Thread overview: 37+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-07-13 19:10 if X in 1..35000 versus Boolean Jan Prazak
2002-07-13 16:27 ` Frank J. Lhota
2002-07-13 20:36 ` Jan Prazak
2002-07-13 18:05 ` Jeffrey Carter [this message]
2002-07-14 15:02 ` Jan Prazak
2002-07-13 22:10 ` Robert Dewar
2002-07-14 21:16 ` Jan Prazak
2002-07-14 20:47 ` Frank J. Lhota
2002-07-15 1:21 ` Jeffrey Carter
2002-07-16 8:18 ` Keith Thompson
2002-07-16 13:54 ` Jan Prazak
2002-07-16 11:13 ` Lutz Donnerhacke
2002-07-17 19:04 ` Jan Prazak
2002-07-17 20:00 ` Georg Bauhaus
2002-07-18 8:11 ` Lutz Donnerhacke
2002-07-18 14:39 ` Georg Bauhaus
2002-07-20 0:37 ` Robert Dewar
2002-07-16 20:25 ` Georg Bauhaus
2002-07-17 19:29 ` Jan Prazak
2002-07-16 19:24 ` Gautier
2002-07-17 19:04 ` Jan Prazak
2002-07-13 16:32 ` David C. Hoos, Sr.
2002-07-13 20:36 ` Jan Prazak
2002-07-13 18:02 ` David C. Hoos, Sr.
2002-07-13 18:17 ` sk
2002-07-13 20:02 ` Jeffrey Creem
[not found] ` <3D306ED5.33E80E09@myob.com>
2002-07-13 18:52 ` David C. Hoos, Sr.
[not found] ` <020a01c22a9f$2b50d6c0$6400000a@dhoos>
2002-07-13 19:02 ` sk
2002-07-14 15:02 ` Jan Prazak
2002-07-14 19:25 ` Darren New
2002-07-15 15:22 ` Steffen Huber
2002-07-13 16:44 ` Christopher Browne
2002-07-13 22:09 ` Robert Dewar
2002-07-13 17:17 ` tmoran
2002-07-13 19:44 ` Florian Weimer
-- strict thread matches above, loose matches on Subject: below --
2002-07-14 20:22 Gautier direct_replies_not_read
2002-07-15 11:36 ` Jan Prazak
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox