From: spambox@volja.net
Subject: is something wrong with is_subset?!
Date: 22 Mar 2005 11:39:52 -0800
Date: 2005-03-22T11:39:52-08:00 [thread overview]
Message-ID: <1111520392.138015.189550@f14g2000cwb.googlegroups.com> (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
next reply other threads:[~2005-03-22 19:39 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-03-22 19:39 spambox [this message]
2005-03-22 20:03 ` is something wrong with is_subset?! Ludovic Brenta
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