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,9fa5063fbdc75ae4 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-10-17 11:41:32 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread4.news.pas.earthlink.net.POSTED!not-for-mail From: Jeffrey Carter Organization: jrcarter commercial-at acm [period | full stop] org User-Agent: Mozilla/5.0 (Windows; U; Win98; en-US; rv:1.4) Gecko/20030624 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: array of strings in a function References: <3F8EAB8F.8040901@comcast.net> <3F8F3C35.7080300@comcast.net> In-Reply-To: <3F8F3C35.7080300@comcast.net> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Fri, 17 Oct 2003 18:41:32 GMT NNTP-Posting-Host: 63.184.9.247 X-Complaints-To: abuse@earthlink.net X-Trace: newsread4.news.pas.earthlink.net 1066416092 63.184.9.247 (Fri, 17 Oct 2003 11:41:32 PDT) jrcarter010@earthlink.net NNTP-Posting-Date: Fri, 17 Oct 2003 11:41:32 PDT Xref: archiver1.google.com comp.lang.ada:1093 Date: 2003-10-17T18:41:32+00:00 List-Id: Robert I. Eachus wrote: > Jeffrey Carter wrote: > > >> type Parameter_List is String; > > > > This is not Ada. And making it "new String" won't work, either, since > > Parameter_List is definite. So this proposal needs some work. > > Perhaps "new Unbounded_String" is better. > > Oops! SUBtype Parameter_List is String; > > Or you can do "type Parameter_List is new String;" but that requires > writing a lot of type conversions. No. This is the full type for type Parameter_List is private; so it can't be a subtype. Since a client may write P : Parameter_List; (Parameter_List is a definite type), "new String" won't work either. Perhaps you want type Parameter_List (<>) is private; in which case "new String" is legal, but does require conversions. -- Jeff Carter "We use a large, vibrating egg." Annie Hall 44