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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,699cc914522aa7c4
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Structured exception information
From: Georg Bauhaus <bauhaus@arcor.de>
In-Reply-To: <th0jaznlzs72$.uirljzpoeskd.dlg@40tude.net>
References: <eog0g5$2bn$1@cernne03.cern.ch>
	 <wcczm8k8aj5.fsf@shell01.TheWorld.com>
	 <1168885771.30643.20.camel@localhost>
	 <th0jaznlzs72$.uirljzpoeskd.dlg@40tude.net>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Organization: #
Message-ID: <1168891576.30643.39.camel@localhost>
Mime-Version: 1.0
X-Mailer: Evolution 2.6.1 
Date: Mon, 15 Jan 2007 21:06:16 +0100
NNTP-Posting-Date: 15 Jan 2007 21:04:14 CET
NNTP-Posting-Host: 63dcf671.newsspool3.arcor-online.net
X-Trace: 
 DXC=5V_HDb]]ei]cHPTNZh_e7QMcF=Q^Z^V3X4Fo<]lROoRQgUcjd<3m<;RaRI?S[K>i7T=kbmW`a1fGWC`2T@AUZfC[L_LPcQhOfNP
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:8142
Date: 2007-01-15T21:04:14+01:00
List-Id: <comp.lang.ada>

On Mon, 2007-01-15 at 20:44 +0100, Dmitry A. Kazakov wrote:
> On Mon, 15 Jan 2007 19:29:31 +0100, Georg Bauhaus wrote:
>  (I don't know compilers so this is just a guess...)
> > 
> > package Handling is
> >    
> >    --
> >    -- info to be attached to an exception occurence
> >    --
> >    
> >    type State is tagged record
> >       info: Integer;
> >    end record;
> >    
> > end Handling;
> > 
> > 
> > with Handling;  use Handling;
> > procedure foo is
> >    
> >    x: Integer;
> >    
> >    function Env return State'class is
> >    begin
> >       return State'(info => x);
> >    end Env;
> >    
> > begin
> >    if 1 > 1 then
> >       raise Constraint_Error with Env'access;
> >    end if;
> > end foo;
> 
> Ada 2005 will allow non-library-level extensions. So? What if Env were
> declared within Foo?

(I assume you mean some type that extends State within foo.)
Yes, perhaps
(a) the nesting level of the handler, together with
(b) which ancestor is visible there,
would have to "influence" access to the components of an
extension of State.  (Another wild guess.)