Re: limited agregate and limited components default initialization

["Randy Brukardt" <randy@rrsoftware.com>]

Yes, I believe these two should work the same. (I'm not trying to figure out 
which is wrong.) I suggest a bug report... - Randy.

"Jean-Claude Rostaing" <00120260a@gmail.com> wrote in message 
news:d83d9dd1-3674-4299-ac9c-1bf5862ae0e2@googlegroups.com...
> It works, so much for "impossible" dmitry.
>
> I probably read before the implementation you mentioned, I don't remember 
> exactly. I saw something strange writing this. Shouldn't the expression 
> function
> function GET (Pointer : Pointer_Type) return Accessor_Type is
>     (if Pointer.Pointer = null or else POINTER.Pointer.Value = null then 
> raise EXC_NULL_POINTER_ACCESS
>      else ACCESSOR_TYPE'(Data_Link => Pointer.Pointer.Value));
> be strictly equivalent to
> function GET (Pointer : Pointer_Type) return Accessor_Type is
>   begin
>      if Pointer.Pointer = null or else POINTER.Pointer.Value = null then 
> raise EXC_NULL_POINTER_ACCESS;
>      else
>         return ACCESSOR_TYPE'(Data_Link => Pointer.Pointer.Value);
>      end if;
>   end GET;
> ? Yet no, the second is fine, the second raises at run time
> raised CONSTRAINT_ERROR : pointers.adb:20 discriminant check failed