From: Georg Bauhaus <bauhaus@futureapps.de>
Subject: Re: is something wrong with is_subset?!
Date: Tue, 22 Mar 2005 21:11:19 +0100
Date: 2005-03-22T21:08:16+01:00 [thread overview]
Message-ID: <42407b30$0$9217$9b4e6d93@newsread4.arcor-online.net> (raw)
In-Reply-To: <1111520392.138015.189550@f14g2000cwb.googlegroups.com>
spambox@volja.net wrote:
> Hello. Can anyone explain why all of the following yield "FALSE"?
>
> with ada.strings.maps; use ada.strings.maps;
> with ada.text_io; use ada.text_io;
> procedure subset is
> begin
> put_line(is_subset(to_set("foo"), to_set("foo"))'img);
> put_line(is_subset(to_set("foo"), to_set("bar"))'img);
> put_line(is_subset(to_set("foobar"), to_set("bar"))'img);
> put_line(is_subset(to_set("foo"), to_set("foobar"))'img);
> end subset;
I get TRUE and FALSE twice. Which compiler + version are you
using? (GNAT, obviously, by the nonstandard 'img)
Georg
prev parent reply other threads:[~2005-03-22 20:11 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-03-22 19:39 is something wrong with is_subset?! spambox
2005-03-22 20:03 ` Ludovic Brenta
2005-03-22 20:11 ` Georg Bauhaus [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox