From: comar@cs.nyu.edu (Cyrille Comar)
Subject: Re: Limited_Controlled types and generic formal parameters
Date: 23 Jan 1995 12:28:35 -0500
Date: 1995-01-23T12:28:35-05:00 [thread overview]
Message-ID: <3g0p03$1r0@lang8.cs.nyu.edu> (raw)
In-Reply-To: D2pJpE.22v@world.std.com
bobduff@world.std.com (Robert A Duff) writes:
:
: Sounds like a compiler bug. Every object of a controlled type gets
: Initialize called for it. That includes components (components are
: objects), and it even includes components whose type is a generic formal
: type that isn't visibly controlled.
:
It is more in the category of unimplemented (and clearly documented)
features.... GNAT 2.00 was doing exactly 'nothing' with controlled
components, let alone the wierd case of the original message...
Just another reminder that GNAT is not (yet?) a validated Ada9x
compiler so it is prudent to check the 'features' file before any
experiment (or at least before drawing any conclusion from them)
--
------------------------------------------------------------------------
Cyrille Comar, E-mail: comar@cs.nyu.edu
Gnat Project US phone: (212) 998-3489
prev parent reply other threads:[~1995-01-23 17:28 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <goliver.1.000B3230@magnus.acs.ohio-state.edu>
1995-01-20 14:17 ` Limited_Controlled types and generic formal parameters Robert A Duff
1995-01-23 17:28 ` Cyrille Comar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox