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,e61c8636ef35379d X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-18 15:08:47 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!newsfeed.berkeley.edu!ucberkeley!europa.netcrusader.net!193.162.153.122!news.tele.dk!193.174.75.178!news-fra1.dfn.de!news-koe1.dfn.de!RRZ.Uni-Koeln.DE!a1-hrz.uni-duisburg.de!uni-duisburg.de!l1-hrz.uni-duisburg.de!sb463ba From: sb463ba@l1-hrz.uni-duisburg.de (Georg Bauhaus) Newsgroups: comp.lang.ada Subject: Re: Examples in Docs, was Re: Escape Sequences in Strings Date: 18 Jan 2001 22:58:26 GMT Organization: GMUGHDU Message-ID: <947sei$r2r$1@news-hrz.uni-duisburg.de> 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> NNTP-Posting-Host: l1-hrz.uni-duisburg.de X-Newsreader: TIN [version 1.2 PL2] Xref: supernews.google.com comp.lang.ada:4192 Date: 2001-01-18T22:58:26+00:00 List-Id: Robert Dewar (robert_dewar@my-deja.com) wrote: : I actually started out a year or so ago with a description of : Ada by example only -- nothing but examples -- no rules at all. : You can see a start of this on the compilers course home page : at www.cs.nyu.edu. >From it: "The subtype mechanism allows defining variables that have a limited range. This is useful for debugging and documentation purposes..." 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? Georg Bauhaus