* is something wrong with is_subset?!
@ 2005-03-22 19:39 spambox
2005-03-22 20:03 ` Ludovic Brenta
2005-03-22 20:11 ` Georg Bauhaus
0 siblings, 2 replies; 3+ messages in thread
From: spambox @ 2005-03-22 19:39 UTC (permalink / raw)
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://sonet.homelinux.net
^ permalink raw reply [flat|nested] 3+ messages in thread* Re: is something wrong with is_subset?!
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
1 sibling, 0 replies; 3+ messages in thread
From: Ludovic Brenta @ 2005-03-22 20:03 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 3+ messages in thread* Re: is something wrong with is_subset?!
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
1 sibling, 0 replies; 3+ messages in thread
From: Georg Bauhaus @ 2005-03-22 20:11 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2005-03-22 20:11 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
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 is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox