From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,fed2e7871ca258cd
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-12-24 05:32:34 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!uni-erlangen.de!news-nue1.dfn.de!newsfeed.r-kom.de!newsfeed.stueberl.de!newsfeed.vmunix.org!newsfeed2.easynews.net!easynews.net!news.cid.net!news.enyo.de!news1.enyo.de!not-for-mail
From: Florian Weimer <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
Subject: Re: List Container Strawman 1.4
Date: Mon, 24 Dec 2001 14:57:52 +0100
Organization: Enyo's not your organization
Message-ID: <87lmfsn2jj.fsf@deneb.enyo.de>
References: <GaVR7.59636$xS6.97761@www.newsranger.com>
 <87heqs5awc.fsf@deneb.enyo.de> <cGVS7.414$XC5.271@www.newsranger.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Cancel-Lock: sha1:UzmisU/UmNtD4cCIkLCFDMsgtQA=
Xref: archiver1.google.com comp.lang.ada:18275
Date: 2001-12-24T14:57:52+01:00
List-Id: <comp.lang.ada>

Ted Dennison<dennison@telepath.com> writes:

> In article <87heqs5awc.fsf@deneb.enyo.de>, Florian Weimer says...
>>
>>   type Element_Array is array (Natural range <>) of Element;
>>
>>   function To   (Source : Element_Array) return List;
>>   function From (Source : List) return Element_Array;
>>
>>What about a generic version of To and From which can handle arrays
>>with different index types?
>
> I think the proper way to give that level of flexability would be to
> make the array itself a generic parameter to the package. In my
> opinion, that's just one bridge too far.

I agree because in this case, you would have to declare an array type
to use the list package, which seems inappropriate.  Maybe there
should be a child package "Array_Conversions" or something like that
(which is tied to the list, and not the quite generic array conversion
package suggested by Nick).

> That's a good point. The only other thing I can think of at the
> moment though is "Out_Of_Order", which has other unfortunate
> connotations. :-)

What about "Is_Reversed", "Must_Reorder", "Is_In_Order", or just
"In_Order"?