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,1b5fd0c8f03e0168
X-Google-Attributes: gid103376,public
From: dennison@telepath.com
Subject: Re: Assignment of Classwide Types
Date: 1998/09/03
Message-ID: <6sn3av$hds$1@nnrp1.dejanews.com>#1/1
X-Deja-AN: 387603354
References: <6smnns$2vj$1@nnrp1.dejanews.com>
X-Http-Proxy: 1.0 x14.dejanews.com:80 (Squid/1.1.22) for client 204.48.27.130
Organization: Deja News - The Leader in Internet Discussion
X-Article-Creation-Date: Thu Sep 03 21:56:47 1998 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.05 [en] (WinNT; I)
Date: 1998-09-03T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <6smnns$2vj$1@nnrp1.dejanews.com>,
  jsanchor@cs5.dasd.honeywell.com wrote:

> type PARENT_TYPE is abstract tagged private;
>
> private
>     type PARENT_TYPE is abstract tagged with

> the compiler does not give any errors, but the assignment does not work.
> I looked at the assembly code and it seems that the compiler makes a call to
> deep_finalize, deep_adjust but to no effect.

You didn't say what compiler or platorm this is on. If that *exact* code with
a trivial test program is giving that behavior, I'd suggest emailing it to
your compiler vendor.

>From your comments though, I'm suspicious that you don't really have

   type PARENT_TYPE is new Ada.Finalization.Controlled with....

but then again, it could be that your compiler *always* does an adjust and
finalize, even if the object isn't controlled. Without knowing your compiler
vendor/platform, who's to say?

--
T.E.D.

-----== Posted via Deja News, The Leader in Internet Discussion ==-----
http://www.dejanews.com/rg_mkgrp.xp   Create Your Own Free Member Forum