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,5095dad989e89e23 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2000-12-14 05:20:08 PST Path: supernews.google.com!sn-xit-02!supernews.com!news-x.support.nl!newsfeed.skycache.com!Cidera!news.maxwell.syr.edu!newsfeed.novia.net.MISMATCH!novia!newspump.monmouth.com!newspeer.monmouth.com!nntp2.deja.com!nnrp1.deja.com!not-for-mail From: Robert Dewar Newsgroups: comp.lang.ada Subject: Re: Does a null pointer always raise Constraint_Error? Date: Thu, 14 Dec 2000 13:08:32 GMT Organization: Deja.com Message-ID: <91agoe$kvf$1@nnrp1.deja.com> References: <9074fi$93b$1@nnrp1.deja.com> <3A3253B1.AD8F32CF@ebox.tninet.se> <90u1vi$uah$1@nnrp1.deja.com> <90ukfm$c4p$1@nnrp1.deja.com> <3A36511D.973D82BD@nowhere.com> <916gsr$e6e$1@nnrp1.deja.com> <9185a6$mut$1@nnrp1.deja.com> <87zoi0w0ey.fsf@deneb.enyo.de> NNTP-Posting-Host: 205.232.38.41 X-Article-Creation-Date: Thu Dec 14 13:08:32 2000 GMT X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; U) X-Http-Proxy: 1.0 x71.deja.com:80 (Squid/1.1.22) for client 205.232.38.41 X-MyDeja-Info: XMYDJUIDrobert_dewar Xref: supernews.google.com comp.lang.ada:3125 Date: 2000-12-14T13:08:32+00:00 List-Id: In article <87zoi0w0ey.fsf@deneb.enyo.de>, Florian Weimer wrote: > I would argue that a.all and b.all are undefined, > but because of their type, their values can be > compared with a well-defined result anyway. I understand that argument, but I cannot see that it is backed by the language in the RM. Furthermore, there is an ACATS test that disputes this conclusion, and no one has ever contested this test. Sent via Deja.com http://www.deja.com/