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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,ff52d623df1ca1d6 X-Google-Attributes: gid103376,public From: Tucker Taft Subject: Re: Newbe Q: generic array not working OK Date: 2000/03/15 Message-ID: <38CFB8AD.FE3B76A0@averstar.com>#1/1 X-Deja-AN: 597854185 Content-Transfer-Encoding: 7bit References: <38CBAE60.621F6A2D@skynet.be> <38CD1EB7.21EA523F@utech.net> X-Accept-Language: en Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@inmet2.burl.averstar.com X-Trace: inmet2.burl.averstar.com 953137325 295 141.199.8.164 (15 Mar 2000 16:22:05 GMT) Organization: AverStar (formerly Intermetrics) Burlington, MA USA Mime-Version: 1.0 NNTP-Posting-Date: 15 Mar 2000 16:22:05 GMT Newsgroups: comp.lang.ada Date: 2000-03-15T16:22:05+00:00 List-Id: Ehud Lamm wrote: > > Maybe it is worth mentioning that the distinction between unconstrained > and constrained generic array paramters was introduced in Ada95. > The interested reader can check the Rational, for the rational of this > decision (tightening the contract model). Not quite. Ada 83 and Ada 95 both distinguish constrained generic array parameters from unconstrained ones. Ada 95 introduced the distinction between "definite" private and "indefinite" private (aka "<>") formal types. Also, in Ada 95, array type matching is done statically (at compile-time) rather than involving any run-time checks. Here is a quote from Ada 83, 12.3.4(2): "... the formal type and the actual type must be either both constrained or both unconstrained." > > Ehud Lamm mslamm@mscc.huji.ac.il > http://purl.oclc.org/NET/ehudlamm <== My home on the web > Check it out and subscribe to the E-List- for interesting essays and more! -- -Tucker Taft stt@averstar.com http://www.averstar.com/~stt/ Technical Director, Distributed IT Solutions (www.averstar.com/tools) AverStar (formerly Intermetrics, Inc.) Burlington, MA USA