Re: "Ada Gems": Constructor functions

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

The "working" code is:

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;

   private
   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
   begin
      return (Name => To_Unbounded_String (Name));
   end Create_Object;

   function Construct return Object is
   begin
      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;
end T;


test_t.adb:
with T;

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



------
tomek@genbox [~/Desktop/test_t] $ gnatmake test_t.adb
gnatgcc -c test_t.adb
test_t.adb:4:39: "Construct" is not visible
test_t.adb:4:39: non-visible declaration at t.ads:8
gnatmake: "test_t.adb" compilation error

(and no bug report)

Why "Construct" is not visible?