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=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e61c8636ef35379d X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-19 08:50:08 PST Path: supernews.google.com!sn-xit-02!supernews.com!nntp-relay.ihug.net!ihug.co.nz!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail From: Robert Dewar Newsgroups: comp.lang.ada Subject: Re: Examples in Docs, was Re: Escape Sequences in Strings Date: Fri, 19 Jan 2001 16:40:58 GMT Organization: Deja.com Message-ID: <949qmn$l8q$1@nnrp1.deja.com> References: <93objj$guk$1@nnrp1.deja.com> <93q77h$rr6$1@nnrp1.deja.com> <940f9j$nj2$1@nnrp1.deja.com> <940n0u$tnf$1@nnrp1.deja.com> <942brr$b0t$1@nnrp1.deja.com> <942vqr$sd0$1@nnrp1.deja.com> <945oq2$81c$1@nnrp1.deja.com> <947hj1$o1r$1@nnrp1.deja.com> <947sei$r2r$1@news-hrz.uni-duisburg.de> NNTP-Posting-Host: 205.232.38.14 X-Article-Creation-Date: Fri Jan 19 16:40:58 2001 GMT X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; U) X-Http-Proxy: 1.0 x60.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 X-MyDeja-Info: XMYDJUIDrobert_dewar Xref: supernews.google.com comp.lang.ada:4215 Date: 2001-01-19T16:40:58+00:00 List-Id: In article <947sei$r2r$1@news-hrz.uni-duisburg.de>, sb463ba@l1-hrz.uni-duisburg.de (Georg Bauhaus) wrote: > There! Is this a hint that we should not be relying > on range checking in some cases, e.g. when using a > subtype for an array index range? Indeed, good Ada style is that a program should not be written so that catching constraint_errors is part of the normal processing logic. For one thing, optimization can cause a lot of surprises in this area (you really need to read *and understand* 11.6 if you are going to write your own constraint_error handlers). Sent via Deja.com http://www.deja.com/