From: Ludovic Brenta <ludovic.brenta@insalien.org>
Subject: Re: is something wrong with is_subset?!
Date: Tue, 22 Mar 2005 21:03:49 +0100
Date: 2005-03-22T21:03:41+01:00 [thread overview]
Message-ID: <87vf7jwiqi.fsf@insalien.org> (raw)
In-Reply-To: 1111520392.138015.189550@f14g2000cwb.googlegroups.com
writes:
> 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;
>
> andrej
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=230809
The gist of it is that you can work around this bug by linking
statically against libgnat.a.
--
Ludovic Brenta.
next prev parent reply other threads:[~2005-03-22 20:03 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 [this message]
2005-03-22 20:11 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox