From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Subject: Re: [Q] non-limited record and "self-pointer"
Date: Thu, 12 Feb 2004 20:44:28 +0000 (UTC)
Date: 2004-02-12T20:44:28+00:00 [thread overview]
Message-ID: <c0gojc$7et$1@a1-hrz.uni-duisburg.de> (raw)
In-Reply-To: MJadnS51TYW-Wrfd4p2dnA@comcast.com
Robert I. Eachus <rieachus@comcast.net> wrote:
:
: In this case, there is an implementation freedom with Controlled that is
: totally bogus.
I guess then that I should not define a type and operations
so that they work if an implementation chooses to let this work.
That means I might have to revert to limited types, with
all the consequences...
-- Georg
next prev parent reply other threads:[~2004-02-12 20:44 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-02-08 21:26 [Q] non-limited record and "self-pointer" Georg Bauhaus
2004-02-09 0:58 ` Stephen Leake
2004-02-09 2:56 ` Georg Bauhaus
2004-02-09 12:50 ` Stephen Leake
2004-02-09 15:45 ` Georg Bauhaus
2004-02-10 1:35 ` Dan Eilers
2004-02-10 2:30 ` Stephen Leake
2004-02-10 7:20 ` Robert I. Eachus
2004-02-11 18:41 ` Georg Bauhaus
2004-02-11 22:05 ` Randy Brukardt
2004-02-12 0:21 ` Robert I. Eachus
2004-02-12 20:44 ` Georg Bauhaus [this message]
2004-02-14 0:25 ` Robert I. Eachus
2004-02-14 4:09 ` Robert I. Eachus
2004-02-14 0:24 ` Adam Beneschan
2004-02-14 6:04 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox