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,c8fd02a2b1be456a
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-02-23 11:38:43 PST
Path: 
 nntp.gmd.de!news.rwth-aachen.de!news.rhrz.uni-bonn.de!RRZ.Uni-Koeln.DE!uni-duisburg.de!zib-berlin.de!news.mathworks.com!panix!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: Type extension with GNAT
Date: 22 Feb 1995 22:14:03 -0500
Organization: Courant Institute of Mathematical Sciences
Distribution: usa
Message-ID: <3iguhr$ai4@gnat.cs.nyu.edu>
References: <3ib6h2$19q4@source.asset.com>
 <EACHUS.95Feb21141055@spectre.mitre.org>
NNTP-Posting-Host: gnat.cs.nyu.edu
Date: 1995-02-22T22:14:03-05:00
List-Id: <comp.lang.ada>

I disagree with Robert Eachus' complaint about overloading and overriding.
The critical point here is that constructors of this type should not
be made primitive. THAT's the solution, and that's what we shold teach
people to understand.