Re: not null

[Adam Beneschan <adam@irvine.com>]

On Mar 5, 12:49 am, Jacob Sparre Andersen <spa...@nbi.dk> wrote:

> > Whatever mistakes a programmer could in the actual Ada language make
> > by forgetting to check whether an access value is null, he could
> > make in the above example by forgetting to check the Present
> > discriminant.
>
> No.  The _compiler_ checks the discriminant.  The programmer will get
> a Constraint_Error if he tries to use "Ref" while "Present" is false.

It also checks access values and raises Constraint_Error if they're
null, so I don't understand what your point is.

                              -- Adam