comp.lang.ada
 help / color / mirror / Atom feed
From: comar@cs.nyu.edu (Cyrille Comar)
Subject: Re: problem with type new limited private
Date: 23 Feb 1995 19:18:07 -0500
Date: 1995-02-23T19:18:07-05:00	[thread overview]
Message-ID: <3ij8jv$2j0@lang8.cs.nyu.edu> (raw)
In-Reply-To: 3ig5oi$1f8@rc1.vub.ac.be

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




      reply	other threads:[~1995-02-24  0:18 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1995-02-22 20:10 problem with type new limited private DELROEUX JEAN-YVES
1995-02-24  0:18 ` Cyrille Comar [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox