From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: extended membership tests
Date: Thu, 31 Mar 2011 02:28:40 -0700 (PDT)
Date: 2011-03-31T02:28:40-07:00 [thread overview]
Message-ID: <126e9817-7263-450c-8637-6add40095bec@z31g2000vbs.googlegroups.com> (raw)
In-Reply-To: 7dc23d58-4a48-4444-90cd-7f9786b19aad@i14g2000yqe.googlegroups.com
> package int_sets is new ada.containers.ordered_sets(integer);
> x: integer := 6;
> b2: boolean := x in int_sets.to_set(new_item => y);
Ah, my previous statement was not quite correct.
I didn't check, but I guess, sets are tagged, so the tested type is
tagged. Therefore the simple expression (x) must be convertible to the
tested type, which it isn't.
So the statement is illegal (as before, but for a different reason).
next prev parent reply other threads:[~2011-03-31 9:28 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-03-31 7:04 extended membership tests Dan
2011-03-31 7:34 ` AdaMagica
2011-03-31 7:55 ` Dan
2011-03-31 7:58 ` Dan
2011-03-31 8:05 ` Ludovic Brenta
2011-03-31 9:28 ` AdaMagica [this message]
2011-03-31 14:33 ` Robert A Duff
2011-03-31 16:28 ` extended membership tests (branch) Georg Bauhaus
2011-03-31 17:58 ` Robert A Duff
2011-03-31 18:54 ` Adam Beneschan
2011-03-31 21:08 ` Georg Bauhaus
2011-03-31 21:10 ` Randy Brukardt
2011-04-01 5:14 ` extended membership tests AdaMagica
2011-04-01 6:33 ` Dan
2011-04-01 7:03 ` AdaMagica
2011-04-01 9:56 ` stefan-lucks
2011-04-01 15:11 ` Adam Beneschan
2011-04-02 1:22 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox