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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,8520d8902b684d8a,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!o13g2000cwo.googlegroups.com!not-for-mail
From: "Anh Vo" <anhvofrcaus@gmail.com>
Newsgroups: comp.lang.ada
Subject: Extended Return Statement with exception
Date: 22 Nov 2005 11:31:29 -0800
Organization: http://groups.google.com
Message-ID: <1132687889.831797.109510@o13g2000cwo.googlegroups.com>
NNTP-Posting-Host: 209.172.103.242
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1132687894 395 127.0.0.1 (22 Nov 2005 19:31:34
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 22 Nov 2005 19:31:34 +0000 (UTC)
User-Agent: G2/0.2
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.0;
 .NET CLR 1.1.4322),gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: o13g2000cwo.googlegroups.com; posting-host=209.172.103.242;
   posting-account=JVr7Xg0AAAAI3MbuARxMmvWLmA7qdJMx
Xref: g2news1.google.com comp.lang.ada:6530
Date: 2005-11-22T11:31:29-08:00
List-Id: <comp.lang.ada>

I have read the Extended Return Statement in Ada 2005 RM and Rationale.
However, I am still not sure how it works. In other word, what will be
returned when an exception occurs and handled the the exception handler
within this extended return statement. Consider the following notional
code, what exactly will be returned?

type T is limited ...
...

function Make (...) return T is
begin
   ...
   return R : T do
      ...
      ...   -- Constraint_Error is raised here for example
   exception
      ... handle Constraint_Error here.
   end return;
end Make;

AV