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,772ae8afc5db35f2
X-Google-Attributes: gid103376,public
From: tmoran@bix.com (Tom Moran)
Subject: Re: Can't export object of private type
Date: 1999/03/01
Message-ID: <36daf246.1947172@news.pacbell.net>#1/1
X-Deja-AN: 450093061
References: <7b1k4h$13k6@news3.newsguy.com> <F7p7Dq.DE1@syd.csa.com.au>
X-Complaints-To: abuse@pacbell.net
X-Trace: typhoon-sf.pbi.net 920318636 206.170.24.52 (Mon,
 01 Mar 1999 12:03:56 PDT)
Organization: SBC Internet Services
NNTP-Posting-Date: Mon, 01 Mar 1999 12:03:56 PDT
Newsgroups: comp.lang.ada
Date: 1999-03-01T00:00:00+00:00
List-Id: <comp.lang.ada>

>  1) Have only one instance
>  2) Are polymorphic
I've probably missed something, but does "Are polymorphic" mean the
user can define a descendant type?  In which case he can create an
object of that new type, or in fact multiple objects of that type,
each of which "is" an instance of the original type, contradicting
requirement (1).  No?