Re: Odd error with access to derived types

[Stephen Leake <stephen_leake@acm.org>]

A.Imran <me5@privacy.net> writes:

> Hello,
> 
> I'm getting a very odd error from my compiler (GNAT 3.15p, also tried
> the latest GCC based GNAT).
> 
> Would anyone point out why the following is / is not valid ada? TIA.

I get this:
gnatmake -k -g -O0 -gnatf -gnato -gnatwa -gnatwe -gnatwL -gnatVa -I..  test -largs   -bargs -E -cargs 
gcc -c -I./ -g -O0 -gnatf -gnato -gnatwa -gnatwe -gnatwL -gnatVa -I.. -I- ..\test.adb
test.adb:1:11: warning: unit "b" is not referenced
testp-b.ads:7:10: "b_type" conflicts with declaration at line 6
testp-b.ads:15:10: completion of nonlimited type cannot be limited

you are declaring 'b_type' twice. But perhaps that's not what you
meant. Perhaps you meant "I get an error with the second definition of
b_type". But I'm not going to guess. Please post _exactly_ the code
that generates the error, so we can help.

> 
> -- begin testp-b.adb --
> package testp.b is
> 
>     -- TO FAIL: Comment the next line and leave 
>     -- the line after that uncommented.
> 
>     -- XXX 0    
Is this the line you want uncommented? I don't think so.

> --  type b_type is new a_type with null record;
>     type b_type is new a_type with private;

Did you want both definitions of 'b_type'? I don't think so.

-- 
-- Stephe