Re: Equivalent keys/elements in Ada.Containers Maps and Sets

["Randy Brukardt" <randy@rrsoftware.com>]

"Matthew Heaney" <mheaney@on2.com> wrote in message
news:1169679410.534272.110960@s48g2000cws.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???

To show that the RM is wrong. That's all Niklas was asking anyway -- he
wasn't asking what the container *should* be, but rather whether the RM
accurately reflected the intent. It doesn't help to answer some other
question that wasn't even asked....

                         Randy.