From: christoph.grein@eurocopter.com
Subject: Re: Predefined equality, reemergence
Date: 5 Apr 2006 05:16:34 -0700
Date: 2006-04-05T05:16:34-07:00 [thread overview]
Message-ID: <1144239394.052533.214270@t31g2000cwb.googlegroups.com> (raw)
In-Reply-To: 1144195041.057113.231640@t31g2000cwb.googlegroups.com
Adam wrote:
"Reading this section closely, it appears that if the actual
type for T is ACT, and ACT is a tagged record type, and there is a
user-defined primitive operator "=" on ACT, then: if ACT is a private
type, the predefined "=" is the user-defined "=" (4.5.2(15)), but if
ACT is not a private type, the user-defined "=" isn't used"
I think you misread this sentence. It says: For a private type, it
depends on whether the full type is tagged or not.
If it is tagged, the primitive equality is used, else the predefined
equality is used.
So the result is: For tagged types (whether visibly tagged or not),
predefined equality when overridden is lost forever.
For other types, it re-emerges under certain circumstances.
(See
http://www.christ-usch-grein.homepage.t-online.de/AdaMagica/Dead.html)
next prev parent reply other threads:[~2006-04-05 12:16 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-04-04 19:30 Predefined equality, reemergence Adam Beneschan
2006-04-04 19:46 ` Adam Beneschan
2006-04-04 23:00 ` Randy Brukardt
2006-04-04 23:57 ` Adam Beneschan
2006-04-05 12:16 ` christoph.grein [this message]
2006-04-05 18:47 ` Adam Beneschan
2006-04-05 22:01 ` 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