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,5f6509dca16a8998
X-Google-Attributes: gid103376,public
From: falis@ma.aonix.com (Ed Falis)
Subject: Re: Function result = controlled type
Date: 1998/11/19
Message-ID: <1103_911490393@DZOG-CHEN>#1/1
X-Deja-AN: 413535394
Sender: news@sd.aonix.com (USENET News Admin @flash)
X-Nntp-Posting-Host: 192.157.137.14
References: <72vlur$ck$1@nnrp1.dejanews.com> <36542D58.87EC3202@chat.ru>
Organization: Aonix, San Diego, CA, USA
Newsgroups: comp.lang.ada
Date: 1998-11-19T00:00:00+00:00
List-Id: <comp.lang.ada>

This is what I get with OA 7.1.2 on windows:

Enter
Finalize u
Finalize r
Leave
Finalize r


The value of U is finalized as part of the assignment on exiting 
the function, then R (the tempo function result), then R which is 
the last value of U.

Current versions and all that...

- Ed Falis
Aonix