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-Thread: 103376,23f57930ddc13e1c X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.nethere.com!news.nethere.com.POSTED!not-for-mail NNTP-Posting-Date: Thu, 27 Sep 2007 22:21:11 -0500 Newsgroups: comp.lang.ada Subject: Re: Missing Index Value in Array Aggregate From: csampson@inetworld.net (Charles H. Sampson) Date: Thu, 27 Sep 2007 20:21:13 -0700 Message-ID: <1i548co.yz2f6m45x0mwN%csampson@inetworld.net> References: <1i50iqb.14r2zb11w8eyc2N%csampson@inetworld.net> <1190822071.488118.316450@y42g2000hsy.googlegroups.com> User-Agent: MacSOUP/2.4.6 X-Usenet-Provider: http://www.giganews.com NNTP-Posting-Host: 75.42.163.227 X-Trace: sv3-Laaf1icRJYlyP4WsNAdog6aJEEgueajfBfvgmyxeF7GNp7AiZuOGrSx6oZNGzQqXVNUgLCCf2gph5rq!lU38gA5q9KT7HvBa6wLusEwr1oqgsH13dSFExADDaDJNxrqG2uAdjrXpkTumhNrjywcO5BZHwzrD!N4TonMDY9CLxL08tZlFAHIPCD1Aj X-Complaints-To: abuse@nethere.com X-DMCA-Complaints-To: abuse@nethere.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.36 Xref: g2news2.google.com comp.lang.ada:2178 Date: 2007-09-27T20:21:13-07:00 List-Id: Thanks to both of you for clarifying this. For some reason, I tend to forget sliding when thinking about arrays in the abstract, although I use it quite often. I should have given more detail of the context. Although it's not relevant now, here it is: The aggregate was the initial value of a constant array object, the type of that object being an anonymous array type whose index is a constrained enumeration type. My compiler did give me the (proper) warning of a constraint error at run time. Unfortunately, the warning was overlooked because the compiler tends to put out a bunch of warnings of much less value. My characterization of Ada as trying to "do... as much as possible at compile-time" was off base. While you do get a lot more information from an Ada compiler than from those for most other languages, I agree that Ada's consistency, it's very small number of special cases, is much more important. So, while the case I asked about was surprising at first glance, I think the rationale behind it is fine. Charlie -- For an email response, insert "0824" between the 'c' and 's'.