comp.lang.ada
 help / color / mirror / Atom feed
From: Juergen.Hoyng@ri.dasa.de
Subject: Re: GNAT bug?
Date: 1999/02/11
Date: 1999-02-11T00:00:00+00:00	[thread overview]
Message-ID: <79ui6e$mah$1@nnrp1.dejanews.com> (raw)
In-Reply-To: uhfsvdyk4.fsf@gsfc.nasa.gov


> The program compiles without error in ObjectAda; submit a GNAT bug report.
>
> -- Stephe
>

I submitted a GNAT bug report yesterday.

It seems, that GNAT does not handle derived types in combination with
generic units correctly.

Another example:

with Unchecked_Deallocation;
package String_Utils; is
   type String_Access is access String;
   procedure Free is new Unchecked_Deallocation (String, String_Access);
end String_Utils;

with String_Utils;
procedure Main is
  type Derived_From_String_Access is new String_Utils.String_Access;
  X : Derived_From_String_Access;
begin
  Free(X);
end Main;
main.adb:6:03: expected type "String_Access" defined at string_utils.ads:3
main.adb:6:03: found type "Derived_From_String_Access" defined at line 3
main.adb:6:03: expected type "Derived_From_String_Access" defined at line 3
main.adb:6:03: found type "String_Access" defined at string_utils.ads:3

It is a little surprising that nobody has found this bug in the past.



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    




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

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-02-09  0:00 GNAT bug? Juergen.Hoyng
1999-02-09  0:00 ` Stephen Leake
1999-02-10  0:00   ` Pascal Obry
1999-02-10  0:00     ` Tucker Taft
1999-02-11  0:00   ` Juergen.Hoyng [this message]
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