From: stefan-lucks@see-the.signature
Subject: Re: extended membership tests
Date: Fri, 1 Apr 2011 11:56:46 +0200
Date: 2011-04-01T11:56:46+02:00 [thread overview]
Message-ID: <Pine.LNX.4.64.1104011133210.5457@medsec1.medien.uni-weimar.de> (raw)
In-Reply-To: <0a58c4e0-f4b5-4cab-8aa7-7ab39337664e@p13g2000yqh.googlegroups.com>
On Fri, 1 Apr 2011, AdaMagica wrote:
> Are there any sensible uses for (boolean) choice_relations? I might
> imagine some use of choice_expressions for modular types.
genecic
type T is <>;
procedure P(...);
-- Inside P, there may be some sensible uses for choice relations.
procedure Q is new P(Boolean);
--
------ Stefan Lucks -- Bauhaus-University Weimar -- Germany ------
Stefan dot Lucks at uni minus weimar dot de
------ I love the taste of Cryptanalysis in the morning! ------
next prev parent reply other threads:[~2011-04-01 9:56 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
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 [this message]
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