From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Does a null pointer always raise Constraint_Error?
Date: Fri, 15 Dec 2000 01:45:30 GMT
Date: 2000-12-15T01:45:30+00:00 [thread overview]
Message-ID: <91bt3p$rp7$1@nnrp1.deja.com> (raw)
In-Reply-To: hP4_5.7975$bw.730724@news.flash.net
In article <hP4_5.7975$bw.730724@news.flash.net>,
"Ken Garlington" <Ken.Garlington@computer.org>
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/
next prev parent reply other threads:[~2000-12-15 1:45 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <Pine.LNX.4.10.10011301306120.793-100000@lexis.di.fct.unl.pt>
[not found] ` <tgzoihpon4.fsf@mercury.rus.uni-stuttgart.de>
[not found] ` <9074fi$93b$1@nnrp1.deja.com>
[not found] ` <3A3253B1.AD8F32CF@ebox.tninet.se>
[not found] ` <90u1vi$uah$1@nnrp1.deja.com>
[not found] ` <90ukfm$c4p$1@nnrp1.deja.com>
2000-12-12 16:23 ` Does a null pointer always raise Constraint_Error? Wayne Magor
2000-12-12 20:27 ` Keith Thompson
2000-12-13 0:46 ` Robert Dewar
2000-12-13 8:58 ` Lutz Donnerhacke
2000-12-13 13:56 ` Ken Garlington
2000-12-13 14:25 ` Lutz Donnerhacke
2000-12-13 14:58 ` Florian Weimer
2000-12-13 15:17 ` Lutz Donnerhacke
2000-12-13 15:40 ` Robert Dewar
2000-12-13 20:07 ` Florian Weimer
2000-12-14 13:08 ` Robert Dewar
2000-12-14 14:29 ` Ken Garlington
2000-12-15 1:45 ` Robert Dewar [this message]
2000-12-13 15:37 ` Robert Dewar
2000-12-12 20:31 ` Keith Thompson
2000-12-13 19:58 ` Florian Weimer
2000-12-13 0:43 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox