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,12301f67e4ba5adf
X-Google-Attributes: gid103376,public
From: akonstan@news.cs.columbia.edu (Alexander V. Konstantinou)
Subject: Re: Controlled Types & GNAT 3.09
Date: 1997/03/15
Message-ID: <5gfqro$jru@sutton.cs.columbia.edu>#1/1
X-Deja-AN: 225866362
References: <5g3s2l$174@sutton.cs.columbia.edu> <3329762C.7AC3@cs.uah.edu>
Organization: Columbia University Department of Computer Science
Newsgroups: comp.lang.ada
Date: 1997-03-15T00:00:00+00:00
List-Id: <comp.lang.ada>


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