From: akonstan@news.cs.columbia.edu (Alexander V. Konstantinou)
Subject: Re: Controlled Types & GNAT 3.09
Date: 1997/03/15
Date: 1997-03-15T00:00:00+00:00 [thread overview]
Message-ID: <5gfqro$jru@sutton.cs.columbia.edu> (raw)
In-Reply-To: 3329762C.7AC3@cs.uah.edu
I am forwarding a message sent to me by the GNAT developers. It appears
that the GNAT language lawyers believe that the use of Controlled types
in my example is a valid one.
Alexander V. Konstantinou (akonstan@cs.columbia.edu)
--- begin forwarded message ---
From dismukes@gnat.com Fri Mar 14 17:41:00 1997
Date: Fri, 14 Mar 97 17:40:17 EST
From: dismukes@gnat.com (Gary Dismukes)
To: akonstan@sutton.cs.columbia.edu, chat@gnat.com
Subject: Re: controlled types in GNAT 3.09
Alexander,
The problem you reported involving controlled types has
been fixed in the current (i.e., not yet released) version
of GNAT and leads to the output shown below.
-- Gary Dismukes
Initialize(Foo)
Initialize(Foo)
Initialize(Foo)
Initialize(Bar)
Initialize(Foo)
Initialize(Bar)
Main Begin ----
F1 := F2
Finalize(Foo)
Adjust(Foo)
B1 := B2
Finalize(Bar)
Finalize(Foo)
Adjust(Foo)
Adjust(Bar)
Main End ----
Finalize(Bar)
Finalize(Foo)
Finalize(Bar)
Finalize(Foo)
Finalize(Foo)
Finalize(Foo)
--- end forwarded message ---
--
Alexander V. Konstantinou http://www.cs.columbia.edu/~akonstan/
akonstan@cs.columbia.edu akonstan@acm.org
next prev parent reply other threads:[~1997-03-15 0:00 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-03-11 0:00 Controlled Types & GNAT 3.09 Alexander V. Konstantinou
1997-03-13 0:00 ` Robert Dewar
1997-03-14 0:00 ` Jerome Desquilbet
1997-03-14 0:00 ` Robert A Duff
1997-03-14 0:00 ` Tom Moran
1997-03-14 0:00 ` Pascal Ledru
1997-03-15 0:00 ` Alexander V. Konstantinou [this message]
1997-03-21 0:00 ` Jerome Desquilbet
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox