Re: Normalizing array indices

[Simon Wright <simon@pushface.org>]

tmoran@acm.org writes:

>> > generic
>> >    type Element_Type is private;
>> >    type Sort_Array_Type is array (Positive range<>) of Element_Type;
>> >    with function "<" (Left, Right: Element_Type) return Boolean is<>;
>> > procedure Sort(A: in out Sort_Array_Type)
>
> How about
>    with function Earlier (Left, Right: Element_Type) return Boolean is<>;

That would be Before in the spirit of 2012 (A.18.26 9.1/3 ff). Though in
that case the reasoning is probably that the parameters of Before are
indices; so the semantics are something like Indexed_Element_Is_Before.

> Otherwise one gets oddities like
>   procedure Sort_Decreasing is new Sort(..., "<" => ">");

Odd but understandable after you've seen it once or twice.