"Ada Gems": Constructor functions

["Tomek Wałkuski" <tomek.walkuski@gmail.com>]

Hi,

motivated by this article posted at adacore.com I have written some
code:

---------
t.ads
---------
with Ada.Strings.Unbounded;
use Ada.Strings.Unbounded;

package T is
    type Object (<>) is tagged limited private;

   function Create_Object (Name : in String) return Object;
   function Construct return Object;
   function Name (This : in Object) return String;

   type Object is tagged limited
      record
         Name : Unbounded_String;
      end record;
end T;


---------
t.adb
---------
package body T is
   function Create_Object (Name : in String) return Object is
      return (Name => To_Unbounded_String (Name));
   end Create_Object;

   function Construct return Object is
      return Create_Object (Name => "Object without a name!");
   end Construct;

   function Name (This : in Object) return String is
   begin
      return To_String (This.Name);
   end Name;

   type Object is tagged limited
      record
         Name : Unbounded_String;
      end record;
end T;


---------
test_t.adb
---------
with T;

procedure Test_T is
   Some_Object : constant T.Object := Construct;
begin
   null;
end Test_T;

------------------------------
... and tried to compile it.

(Gentoo Linux, gnat-gpl-4.1.3.2007)

Compiler said:
"
+================GNAT BUG DETECTED==================+
| GPL 2007 (20070402-41) (i686-pc-linux-gnu) Assert_Failure namet.adb:
687  |
(...)
compilation abandoned
gnatmake: "test_t.adb" compilation error
"

Is it REALLY a compiler bug? Or am I only dumb? :) Maybe I'm doing
something, somewhere wrong?