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,1bbd735358b2f08d
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-02-23 16:18:07 PST
Path: 
 nntp.gmd.de!newsserver.jvnc.net!news.cac.psu.edu!news.pop.psu.edu!hudson.lm.com!godot.cc.duq.edu!news.duke.edu!news.mathworks.com!panix!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: comar@cs.nyu.edu (Cyrille Comar)
Newsgroups: comp.lang.ada
Subject: Re: problem with type new limited private
Date: 23 Feb 1995 19:18:07 -0500
Organization: Courant Institute of Mathematical Sciences
Message-ID: <3ij8jv$2j0@lang8.cs.nyu.edu>
References: <3ig5oi$1f8@rc1.vub.ac.be>
NNTP-Posting-Host: lang8.cs.nyu.edu
Date: 1995-02-23T19:18:07-05:00
List-Id: <comp.lang.ada>

jydelr@vub.ac.be (DELROEUX JEAN-YVES) writes:
: package pac_voit is
:    type voit is new controlled with private;
:    procedure ...
: private
:    type voit is
:       record
:          a : integer;
:       end record;
: end pac_voit;
:  But when I compile with gnat 2.00 under warp, it give me the error :
:  type voit must be declared as tagged.
: 
:    Why ????????

because it is not legal ;-)
The partial view of 'voit' is a private extension so the full view has
no choice but being a record extension... That is the rule!

: 
:    I try to define voit as tagged, but it doesn't work. Can someone tell me what I can do ?
: 

what you most probably want is 

    type voit is new Controlled with
       record
          a : integer;
       end record;

-- 
------------------------------------------------------------------------
Cyrille Comar,                                  E-mail: comar@cs.nyu.edu
Gnat Project                                    US phone: (212) 998-3489