From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,461276586f65363c
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!t31g2000cwb.googlegroups.com!not-for-mail
From: christoph.grein@eurocopter.com
Newsgroups: comp.lang.ada
Subject: Re: Predefined equality, reemergence
Date: 5 Apr 2006 05:16:34 -0700
Organization: http://groups.google.com
Message-ID: <1144239394.052533.214270@t31g2000cwb.googlegroups.com>
References: <1144179013.753791.169830@u72g2000cwu.googlegroups.com>
   <1144179981.495938.321410@e56g2000cwe.googlegroups.com>
   <J86dnfd4ibI8Z6_ZnZ2dnUVZ_vmdnZ2d@megapath.net>
   <1144195041.057113.231640@t31g2000cwb.googlegroups.com>
NNTP-Posting-Host: 80.156.44.1
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1144239399 7461 127.0.0.1 (5 Apr 2006 12:16:39
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 5 Apr 2006 12:16:39 +0000 (UTC)
User-Agent: G2/0.2
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
 .NET CLR 1.1.4322),gzip(gfe),gzip(gfe)
X-HTTP-Via: 1.1 webwasher (Webwasher 5.2.0.2024)
Complaints-To: groups-abuse@google.com
Injection-Info: t31g2000cwb.googlegroups.com; posting-host=80.156.44.1;
   posting-account=nIrLjQ0AAAAgar8ljl4x6DQaFY__mhF4
Xref: g2news1.google.com comp.lang.ada:3728
Date: 2006-04-05T05:16:34-07:00
List-Id: <comp.lang.ada>

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)