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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c3a7c1845ec5caf9
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Equality operator overloading in ADA 83
Date: 1997/04/27
Message-ID: <dewar.862159429@merv>#1/1
X-Deja-AN: 237745299
References: <01bc4e9b$ac0e7fa0$72041dc2@lightning> <E91zFw.KDE@world.std.com>
 <mheaney-ya023680002204972109430001@news.ni.net>
 <335E0B1F.12C9@elca-matrix.ch> <E93v4u.DG1@world.std.com>
 <335F5971.6375@elca-matrix.ch>
 <mheaney-ya023680002404971929220001@news.ni.net> <dewar.861970700@merv>
 <5jsfdm$e50@mulga.cs.mu.OZ.AU>
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-04-27T00:00:00+00:00
List-Id: <comp.lang.ada>


Fergus said

<<What do you mean when you say there are multiple exceptions in the unshared
case?  Could someone please elaborate, and/or give a pointer to the
appropriate part of the RM?>>

As Bob Duff pointed out, not only are there multiple exceptions in the
unshared case, but also in the shared case, i.e. if an exception is declared
in a generic template, then independent of whether or not generics are
shared, there is a disctinct exception in each instance. It is possible
(though a bit tricky) to write a program that can detect this.

What this means for shared generics is that, unlike the situation elsewhere,
you do not know the identify of exceptions statically at compile time,
which is a pain for building static exception tables.