Re: Not null feature with anonymous and named access types

["Björn Persson" <spam-away@nowhere.nil>]

Anh Vo wrote:
> I have been exploring the not null feature with anonymous access type
> and named access type. One thing have learned that an access variable
> declared based on these types will raise a Constraint_Error when
> deallocating this access variable as shown in the code below.

Of course. Deallocation sets the access variable to null, and that 
violates the not-null constraint.

-- 
Bj�rn Persson                              PGP key A88682FD
                    omb jor ers @sv ge.
                    r o.b n.p son eri nu