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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1116ece181be1aea X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-10-03 18:43:36 PST Path: archiver1.google.com!news2.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!wn13feed!wn11feed!worldnet.att.net!204.127.198.203!attbi_feed3!attbi_feed4!attbi.com!sccrnsc02.POSTED!not-for-mail Message-ID: <3F7E25C1.1060509@comcast.net> From: "Robert I. Eachus" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.0.2) Gecko/20021120 Netscape/7.01 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Is the Writing on the Wall for Ada? References: <3F739C1D.4030907@attbi.com> <3F78E850.8010401@comcast.net> <3F797748.3000203@noplace.com> <834clb.uan1.ln@skymaster> <3F79EF18.7060600@comcast.net> <3F7B1076.8060106@comcast.net> <5mknnv4u96qqudrt4bd8n4t1cljp2fjlp8@4ax.com> <3F7C810E.7070100@comcast.net> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit NNTP-Posting-Host: 24.34.139.183 X-Complaints-To: abuse@comcast.net X-Trace: sccrnsc02 1065231815 24.34.139.183 (Sat, 04 Oct 2003 01:43:35 GMT) NNTP-Posting-Date: Sat, 04 Oct 2003 01:43:35 GMT Organization: Comcast Online Date: Sat, 04 Oct 2003 01:43:35 GMT Xref: archiver1.google.com comp.lang.ada:189 Date: 2003-10-04T01:43:35+00:00 List-Id: Dmitry A. Kazakov wrote: > Even if I pack the array into a record to have a discriminant, even so, it > will be still illegal: > > type Array_Of_Same_Elements (Constraint : Natural) is record > Body : array (...) of Element (Constraint); > end record; > > Note that it is *not* a ragged array. All elements are of exactly *same* > size. What is required is: > > type Array_Of_Same_Elements (Constraint : Natural) is > array (...) of Element (Constraint); What you are complaining about here is that Ada currently allows unnamed array types as objects, but not as components of records. If anything I am with you on this one, but I think that the ARG would be more likely to eliminate unnamed array types than allow them in new contexts. (Notice that Ada is somewhat consistant in this, you can declare task types, and task objects, and protected objects and protected types, but not record objects.) -- Robert I. Eachus "Quality is the Buddha. Quality is scientific reality. Quality is the goal of Art. It remains to work these concepts into a practical, down-to-earth context, and for this there is nothing more practical or down-to-earth than what I have been talking about all along...the repair of an old motorcycle." -- from Zen and the Art of Motorcycle Maintenance by Robert Pirsig