Re: Ada2012 Invariants and obaque types

[Martin <martin.dowie@btopenworld.com>]

On Jun 21, 1:13 pm, Robert A Duff <bobd...@shell01.TheWorld.com>
wrote:
> Martin <martin.do...@btopenworld.com> writes:
> > package P1 is
> >    type T1 is tagged private
> >      with Invariant => True;  -- NB: not even a 'real' function
> > private
> >    type Imp;
> >    type Imp_Ref is not null access Imp;
> >    type T1 is tagged
> >       record
> >          I : Imp_Ref;
> >       end record;
> > end P1;
>
> > which produces the same original error:
>
> Looks like a compiler bug.
>
> - Bob

Thanks! I'll just have to stick with "with Post =>" on all the
operations instead for now...until GNAT GPL 2012!! :-)

Shame the GPL version only updates once per year...don't suppose
there's any chance of even a twice-yearly release schedule?...

-- Martin