Re: Extending discriminant types

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

On Nov 21, 12:01 am, a...@anon.org (anon) wrote:
> --  Compiles and Runs using GNAT 3.15p
> --
> --  This works in Ada 95 compilers because all types including a tag type
> --  has a discriminant value of at least 2 aka itself and Null. And that
> --  suggest that ALL types have a constraint of at least two.
> procedure V is
>     type Point is tagged record
>                            X : Float := 0.0 ;
>                            Y : Float := 0.0 ;
>                          end record ;
>     type Point_Acesss is access all Point'Class ;
>     type D is new Point with record
>                            Z : Float := 0.0 ;
>                          end record ;
>     type E is new D with null record;
>     Var : Point_Acesss ;
> begin -- V
>   Var := new E'Base ;
> end V ;

This compiles and runs with GNAT 3.15p only because GNAT 3.15p has a
bug.

--
Ludovic Brenta.