From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Reemergence of predefined equality operator...
Date: Sun, 25 Aug 2002 22:04:07 GMT
Date: 2002-08-25T22:04:07+00:00 [thread overview]
Message-ID: <wccn0ray4rs.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 3D6917C6.3B8A@earthlink.net
Vincent Marciante <marciant_remove@earthlink.net> writes:
> Only for limitted types (except for the trick that has been
> mentioned occasionally) right? By the way, can you describe
> the trick or refer me to more info about it?
The trick is to have a generic formal limited private type,
and derive from that, and define "=" on the derived type.
Then instantiate with a non-limited type.
I believe this trick was first noticed by John Goodenough.
- Bob
next prev parent reply other threads:[~2002-08-25 22:04 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-07-31 22:25 Reemergence of predefined equality operator Dale Stanbrough
2002-07-31 22:47 ` Robert A Duff
2002-08-01 1:30 ` Vincent Marciante
2002-08-01 12:06 ` Robert Dewar
2002-08-25 17:46 ` Vincent Marciante
2002-08-25 22:04 ` Robert A Duff [this message]
2002-08-01 11:14 ` Dale Stanbrough
2002-08-01 14:48 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox