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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f5fe096935d4de21
X-Google-Attributes: gid103376,public
From: ica2ph@alpha1.csv.ica.uni-stuttgart.de (Peter Hermann)
Subject: Re: argument of conversion cannot be an allocator
Date: 1997/05/14
Message-ID: <5lcc8u$2mkc@info4.rus.uni-stuttgart.de>#1/1
X-Deja-AN: 241481145
Distribution: world
References: <5lbccj$7vk$1@goanna.cs.rmit.edu.au>
Organization: Comp.Center (RUS), U of Stuttgart, FRG
Newsgroups: comp.lang.ada
Date: 1997-05-14T00:00:00+00:00
List-Id: <comp.lang.ada>


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)