Re: Using renaming declarations to make private subprograms visible

[Matthew Woodcraft <mattheww@chiark.greenend.org.uk>]

Jeffrey Carter <jrcarter@acm.org> writes:

> This compiles with GNAT 3.13p:
> 
>    function Convert_To_String (Source : Token_Type) return String
>       renames To_String;
> 
>    function To_String (Source : Token_Type) return String
>       renames Convert_To_String;

Yes, it compiles. I tried this before, but I didn't actually run it: it
seems to me that it's just a circular renaming that the compiler doesn't
catch (though I'm surprised the compiler isn't required to catch it).

At any rate, I've tried now, and the code below doesn't run for me with
GNAT 3.13p (segmentation fault, with a stack backtrace containing many
thousands of identical entries).

As an aside, if I want to use -fstack-check, do I have to recompile the
entire runtime?

-M-

===

with Ada.Strings.Unbounded;
package Renaming is

   type Token_Type is private;

   function To_Token (Source : String) return Token_Type;

   function To_String (Source : Token_Type) return String;

private

   type Token_Type is new Ada.Strings.Unbounded.Unbounded_String;

   function To_Token (Source : String) return Token_Type
     renames To_Unbounded_String;

   function Convert_To_String (Source : Token_Type) return String
      renames To_String;

   function To_String (Source : Token_Type) return String
      renames Convert_To_String;

end Renaming;



with Renaming; use Renaming;
with Ada.Text_IO; use Ada.Text_IO;
procedure Try_Renaming is

   S  : constant String := "Hello World";
   T  : Token_Type;

begin
   T := To_Token (S);

   declare
      New_S : constant String := To_String (T);
   begin
      Put (S);
      Put (New_S);
   end;

end Try_Renaming;