comp.lang.ada
 help / color / mirror / Atom feed
From: Juergen.Hoyng@ri.dasa.de
Subject: GNAT bug?
Date: 1999/02/09
Date: 1999-02-09T00:00:00+00:00	[thread overview]
Message-ID: <79ptl3$jdp$1@nnrp1.dejanews.com> (raw)

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).

generic
    type Item      is private;
package Foo is
    type Foo_Type (Kind: Positive) is limited private;
    procedure Foo_Op (Target : in out Foo_Type;
                      Source : in      Foo_Type);
private
   type Foo_Type (Kind: Positive) is
   record
     Blah_Bah : Integer;
    end record;
end Foo;

with Foo;
package X is
   package My_Foo is new Foo(Integer);
   type My_Foo_Type is new My_Foo.Foo_Type;
   procedure Test (X : in out My_Foo_Type;
                   Y : in     My_Foo_Type);
end X;

with Foo;
package body X is
   procedure Test (X : in out My_Foo_Type;
                   Y : in     My_Foo_Type) is
   begin
      Foo_Op (X,Y);  --    <-------- ?????
   end Test;
end X;

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?


Thanks in advance


Juergen



Juergen Hoyng,  RIO 62             |   email : Juergen.Hoyng@ri.dasa.de
DaimlerChrysler Aerospace AG	   |   fax   : +49 421 539 4529
Raumfahrt Infrastruktur            |
Postfach 286156                    |   voice : +49 421 539 5348
D-28361 Bremen                     |
Germany

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own    




             reply	other threads:[~1999-02-09  0:00 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-02-09  0:00 Juergen.Hoyng [this message]
1999-02-09  0:00 ` GNAT bug? Stephen Leake
1999-02-10  0:00   ` Pascal Obry
1999-02-10  0:00     ` Tucker Taft
1999-02-11  0:00   ` Juergen.Hoyng
1999-02-10  0:00 ` Pascal Obry
1999-02-10  0:00   ` Tucker Taft
1999-02-11  0:00     ` Pascal Obry
  -- strict thread matches above, loose matches on Subject: below --
2006-10-27 20:39 Anh Vo
2006-10-27  7:57 Maciej Sobczak
2006-10-27  9:03 ` Stephen Leake
2006-10-27 17:25   ` Martin Krischik
2006-10-27 18:21     ` Pascal Obry
2006-10-27 18:30     ` (see below)
1998-02-27  0:00 Haug Buerger
1998-02-28  0:00 ` Jerry van Dijk
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox