From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Does a null pointer always raise Constraint_Error?
Date: Thu, 14 Dec 2000 13:08:32 GMT
Date: 2000-12-14T13:08:32+00:00 [thread overview]
Message-ID: <91agoe$kvf$1@nnrp1.deja.com> (raw)
In-Reply-To: 87zoi0w0ey.fsf@deneb.enyo.de
In article <87zoi0w0ey.fsf@deneb.enyo.de>,
Florian Weimer <fw@deneb.enyo.de> 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/
next prev parent reply other threads:[~2000-12-14 13:08 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 [this message]
2000-12-14 14:29 ` Ken Garlington
2000-12-15 1:45 ` Robert Dewar
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