Re: GNAT bug?

["Pascal Obry" <p.obry@der.edf.fr>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 877 bytes --]


Juergen.Hoyng@ri.dasa.de a �crit dans le message
<79ptl3$jdp$1@nnrp1.dejanews.com>...
>Hello!
>
>The followings compilation units can be compiled with the Ada83 compiler
VADS
>6.2.3(c) (Solaris 2.5.1) and Alsys 5.5.4 (HP_UX 10.20).
>

[code removed]

>
>When trying to compile these compilation units with gnat-3.11p (Solaris
2.5.1)
>I got the error message:
>x.adb:6:15: expected private type "My_Foo_Type" defined at x.ads:4
>x.adb:6:15: found type "My_Foo_Type" defined at x.ads:4
>
>Is this an Ada95/Ada83 incompatibility or a GNAT bug?
>

Your program is wrong :

Firstly Foo_Op is not visible. The X is defined as a new type so you must
do a type convertion. The offending line should read :

    My_Foo.Foo_Op (My_Foo.Foo_Type (X), My_Foo.Foo_Type (Y));

You can avoid the type convertion by using subtype instead of type for
My_Foo_Type
in package X.

Pascal.