Re: argument of conversion cannot be an allocator

[ica2ph@alpha1.csv.ica.uni-stuttgart.de (Peter Hermann)]

Dale Stanbrough (dale@goanna.cs.rmit.EDU.AU) wrote:
: I came across the following problem...

: 	type a is tagged private;
: 	type a_ptr is access all a'class;
: 	
: 	type b is new a with private;
: 	type b_ptr is acces all b'class;
: 	
: 	...
: 	
: 	return a'(new b);

This compiled:

PROCEDURE Dale IS

   type a is tagged null record;
   type a_ptr is access all a'class;

   type b is new a with
      record
         bcomp : integer := 0;
      end record;

   function fu return a_ptr is
   begin
      return new b; -- (i.e. newbee)
   end fu;

BEGIN
                 null;
END Dale ;

or else I possibly misunderstood you ?

--
Peter Hermann  Tel:+49-711-685-3611 Fax:3758 ph@csv.ica.uni-stuttgart.de
Pfaffenwaldring 27, 70569 Stuttgart Uni Computeranwendungen
Team Ada: "C'mon people let the world begin" (Paul McCartney)