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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,961b968d014d8843
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-01-27 09:04:15 PST
Newsgroups: comp.lang.ada
Path: 
 nntp.gmd.de!newsserver.jvnc.net!nntpserver.pppl.gov!princeton!gw1.att.com!fnnews.fnal.gov!uwm.edu!vixen.cso.uiuc.edu!howland.reston.ans.net!gatech!udel!news.mathworks.com!uunet!world!bobduff
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Ada Objects Help!
Message-ID: <D32q34.B14@world.std.com>
Organization: The World Public Access UNIX, Brookline, MA
References: <3f9g1u$j4m@nps.navy.mil> <D2tKqM.54v@inmet.camb.inmet.com>
 <1995Jan24.230910.2241@nbivax.nbi.dk> <D30tDn.41x@world.std.com>
Date: Fri, 27 Jan 1995 17:04:15 GMT
Date: 1995-01-27T17:04:15+00:00
List-Id: <comp.lang.ada>

In article <D30tDn.41x@world.std.com>, I wrote:
>    X: Set'Class := ...;
>    Y: Set'Class := Union(X, Empty_Set);
>
>The appropriate version of function Empty_Set to call is determined (at
>run time) based on the tag of Y, since Empty_Set itself doesn't have any
>controlling parameters.

I meant "based on the tag of X".  Sorry if I confused anyone.

(Thanks, Stephane and Anthony, for pointing this out.)

- Bob