Re: Structured exception information

[Georg Bauhaus <bauhaus@arcor.de>]

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.)