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-18 13:35:51 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news-was.dfn.de!news-lei1.dfn.de!news-nue1.dfn.de!news-han1.dfn.de!news.fh-hannover.de!news.cid.net!news.enyo.de!news1.enyo.de!not-for-mail From: Florian Weimer Newsgroups: comp.lang.ada Subject: Re: List Container Strawman 1.4 Date: Tue, 18 Dec 2001 22:56:27 +0100 Organization: Enyo's not your organization Message-ID: <87k7vkxkdw.fsf@deneb.enyo.de> References: <87heqs5awc.fsf@deneb.enyo.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Cancel-Lock: sha1:9wZcURH/9W4gQMO30xi3XLNUVcQ= Xref: archiver1.google.com comp.lang.ada:18071 Date: 2001-12-18T22:56:27+01:00 List-Id: "Mark Lundquist" writes: >> What about a generic version of To and From which can handle arrays >> with different index types? > > Interesting idea, but I doubt if it would be useful enough to be justified. > A list abstraction of this sort is unbounded, and since the only reason you > would convert To it from one of these things with a non-integer index type > would be to convert From the list back to it again, you're not going to be > adding or deleting elements... Some people like to have different integer types for different things. I think the simple way of introducing new integer types is one of the nice benefits of Ada, and packages for general use should not remove this benifit. >> I'd like to suggest to make Quit mode "in out", with a default of >> False. > > There are no defaults for anything other than an "in" mode parameter. You can supply defaults even without default_expressions. In this case, simply assign the variable in the caller, before the call.