problem with type new limited private

problem with type new limited private

[DELROEUX JEAN-YVES]

Hello, I use this :


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 ????????

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

	Thanks for your help

	DELROEUX Jean - Yves

 

Re: problem with type new limited private

[Cyrille Comar]

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