From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: **
X-Spam-Status: No, score=2.1 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY,PP_MIME_FAKE_ASCII_TEXT,WEIRD_PORT autolearn=no
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,5c7d6dc1ca496e51
X-Google-Attributes: gid103376,public
From: "Pascal Obry" <p.obry@der.edf.fr>
Subject: Re: GNAT bug?
Date: 1999/02/10
Message-ID: <79rlnt$qrf$1@cf01.edf.fr>#1/1
X-Deja-AN: 442748348
References: <79ptl3$jdp$1@nnrp1.dejanews.com>
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3
Organization: EDF
Newsgroups: comp.lang.ada
Date: 1999-02-10T00:00:00+00:00
List-Id: <comp.lang.ada>


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.