From: Samuel Tardieu <sam@rfc1149.net>
Subject: Re: Unchecked_Deallocation subtleties
Date: Wed, 09 Apr 2003 14:37:10 +0200
Date: 2003-04-09T14:37:10+02:00 [thread overview]
Message-ID: <873ckr979l.fsf@inf.enst.fr> (raw)
In-Reply-To: b7135j$8v2$1@slb3.atl.mindspring.net
>>>>> "Marin" == Marin David Condic <mcondic.auntie.spam@acm.org> writes:
Marin> No side effect other than possibly execution time. I don't
Marin> believe the ARM considers execution time to to be a factor in
Marin> determining if there is "no effect" - but obviously, in some
Marin> applications, that might be an issue.
I agree, but the RM deliberately ignores such a factor. Otherwise, no
function would ever be Pure in the RM sense, as the omission of the
call would never yield the same "result".
Sam
--
Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/sam
next prev parent reply other threads:[~2003-04-09 12:37 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-04-09 9:10 Unchecked_Deallocation subtleties Piotr Zgorecki
2003-04-09 9:46 ` Samuel Tardieu
2003-04-09 12:19 ` Marin David Condic
2003-04-09 12:37 ` Samuel Tardieu [this message]
2003-04-10 12:02 ` Marin David Condic
2003-04-09 16:54 ` Warren W. Gay VE3WWG
2003-04-09 20:19 ` Nick Roberts
2003-04-09 21:39 ` Samuel Tardieu
2003-04-10 11:37 ` Nick Roberts
2003-04-10 14:39 ` Robert Spooner
2003-04-10 16:39 ` Warren W. Gay VE3WWG
2003-04-09 19:50 ` Nick Roberts
2003-04-10 15:04 ` Nick Roberts
2003-04-10 16:40 ` chris.danx
2003-04-14 23:42 ` Keith Thompson
2003-04-15 1:54 ` Nick Roberts
2003-04-15 12:00 ` Larry Kilgallen
2003-04-15 12:13 ` Jacob Sparre Andersen
2003-04-19 8:57 ` AG
2003-04-09 21:23 ` Randy Brukardt
2003-04-10 11:49 ` Nick Roberts
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox