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-28 09:00:23 PST
Path: 
 nntp.gmd.de!newsserver.jvnc.net!howland.reston.ans.net!sol.ctr.columbia.edu!proto.ida.org!wheeler
From: wheeler@ida.org (David Wheeler)
Newsgroups: comp.lang.ada
Subject: Re: Type extension with GNAT
Date: 28 Feb 1995 17:00:23 GMT
Organization: IDA, Alexandria, Virginia
Distribution: usa
Message-ID: <3ivkr7$dup@dmsoproto.ida.org>
References: <3iguhr$ai4@gnat.cs.nyu.edu> <3ii7sc$ns1@lang8.cs.nyu.edu>
NNTP-Posting-Host: oids-3.csed.ida.org
X-Newsreader: TIN [version 1.2 PL0]
Date: 1995-02-28T17:00:23+00:00
List-Id: <comp.lang.ada>

Cyrille Comar (comar@cs.nyu.edu) wrote:
: dewar@cs.nyu.edu (Robert Dewar) writes:
: : 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.

: Since this bug will be done and redone by every single Ada95 beginner
: we ought to treat it specially in GNAT. I don't see a significantly
: better error message that would solve the problem so maybe what we
: could do is to add an additionnal message:

:     See file "Gnat_Common_Mistakes" paragraph "inheriting functions"

: and provide some more detailed explanation on this problem in the
: specified file. How does it sound?


I _strongly_ agree with this approach; it helps both the expert
and the novice.


--- David A. Wheeler
Net address: wheeler@ida.org