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,5b3c19b1631bb558
X-Google-Attributes: gid103376,public
From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: Reflection (was: Re: The best thing/greatest feature summary)
Date: 2000/11/04
Message-ID: <87k8akvuuo.fsf@deneb.enyo.de>#1/1
X-Deja-AN: 689581982
References: <39DCB9E3.EAE8F426@ftw.rsc.raytheon.com>
 <39F9FCCE.D6719C6F@ftw.rsc.raytheon.com>
 <1c9kvs4uvj4ofd46f7a8vq0pju596iu2gr@4ax.com> <39fed7b6@rsl2.rslnet.net>
 <39FF1DBD.74184FDC@worldnet.att.net> <39ff792d@rsl2.rslnet.net>
 <39FF8DE3.EC0055B5@worldnet.att.net> <wiUL5.2554$pq3.156683@news.flash.net>
 <3A00375E.19433DC0@worldnet.att.net> <3A00E2D0.42440CB0@acm.org>
 <m3wvem274n.fsf@ns51.infomatch.bc.ca> <8ts36a$8id$1@nnrp1.deja.com>
Organization: Enyo's not your organization
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 2000-11-04T00:00:00+00:00
List-Id: <comp.lang.ada>

Ted Dennison <dennison@telepath.com> writes:

> The problem is that it *doesn't* work if said generic contains a
> controlled type declaration (or any other extension of a library-level
> declared tagged type). Personally I think this is a major problem with
> controlled types.

Write to report@gnat.com and request a pseudo-generic version of
Ada.Finalization (which can be instantiated at the level you need).  I
think I've read that adding something along these lines is not too
complicated, but it hasn't been done because no one seems to be
needing it.