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 18:00:10 PST Path: supernews.google.com!sn-xit-02!supernews.com!newsfeed.mesh.ad.jp!nntp1.njy.teleglobe.net!teleglobe.net!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: Does a null pointer always raise Constraint_Error? Date: Fri, 15 Dec 2000 01:45:30 GMT Organization: Deja.com Message-ID: <91bt3p$rp7$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> <91agoe$kvf$1@nnrp1.deja.com> NNTP-Posting-Host: 205.232.38.41 X-Article-Creation-Date: Fri Dec 15 01:45:30 2000 GMT X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; U) X-Http-Proxy: 1.0 x56.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:3154 Date: 2000-12-15T01:45:30+00:00 List-Id: In article , "Ken Garlington" wrote: > if (A/0) = (B/0) then... That's a little more obviously wrong, because there is no basis for producing values that are equal, but in the null array case, it is surely the case that ALL objects of the type are equal, so equality for that type is always true -- a little more subtle than the above example, but I think still bogus. Sent via Deja.com http://www.deja.com/