From: "Matthew Heaney" <mheaney@on2.com>
Subject: Re: Equivalent keys/elements in Ada.Containers Maps and Sets
Date: 24 Jan 2007 14:56:50 -0800
Date: 2007-01-24T14:56:50-08:00 [thread overview]
Message-ID: <1169679410.534272.110960@s48g2000cws.googlegroups.com> (raw)
In-Reply-To: <1169672163.617949.214430@13g2000cwe.googlegroups.com>
On Jan 24, 3:56 pm, "Adam Beneschan" <a...@irvine.com> wrote:
>
> As far as I can tell from the wording of the RM (A.18.9(79/2)), the
> function "<" that Niklas wrote does indeed meet the requirements...
Even if that's true, the container doesn't work with that function!
What would be the point of defining a function that satisfies RM
requirements but doesn't satisfy the requirement for program
correctness???
next prev parent reply other threads:[~2007-01-24 22:56 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-01-23 12:56 Equivalent keys/elements in Ada.Containers Maps and Sets Niklas Holsti
2007-01-23 15:45 ` Matthew Heaney
2007-01-23 16:47 ` Matthew Heaney
2007-01-23 23:04 ` Niklas Holsti
2007-01-24 0:43 ` Randy Brukardt
2007-01-24 7:52 ` Niklas Holsti
2007-01-24 21:06 ` Randy Brukardt
2007-01-24 16:50 ` Matthew Heaney
2007-01-24 21:18 ` Randy Brukardt
2007-01-24 21:27 ` Adam Beneschan
2007-01-24 22:50 ` Matthew Heaney
2007-01-25 2:22 ` Adam Beneschan
2007-01-26 0:08 ` Georg Bauhaus
2007-01-24 20:56 ` Adam Beneschan
2007-01-24 20:57 ` Adam Beneschan
2007-01-24 22:56 ` Matthew Heaney [this message]
2007-01-25 0:44 ` Randy Brukardt
2007-01-24 16:11 ` Matthew Heaney
2007-01-24 18:12 ` Niklas Holsti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox