Re: Prefix to 'ACCESS must either statically match... But why?

["James S. Rogers" <jimmaureenrogers@worldnet.att.net>]

If you want to use a more general access to string try using an access
to an unbounded string. See the following:

-- Array Access Test
with Ada.Text_Io;
with Ada.Strings.Unbounded;
use Ada.Strings.Unbounded;

procedure Array_Access_Test is
   type String_Access is access all String;
   type Unbounded_Access is access all Unbounded_String;
   procedure Print (
         Item : in     String_Access ) is
   begin
      Ada.Text_Io.Put_Line(Item.All);
   end Print;
   procedure Print(Item : in Unbounded_Access) is
   begin
      Ada.Text_Io.Put_Line(To_String(Item.All));
   end Print;

   Name  : aliased String           := "Jim Rogers";
   Name2 : aliased Unbounded_String := To_Unbounded_String ("Jim Rogers");
   Sa    : String_Access;
   Ua    : Unbounded_Access;
begin

   Sa := Name'access;
   Print(Sa);
   Ua := Name2'access;
   Print(Ua);
end Array_Access_Test;

Passing around an access to an unbounded string has none of the limitations
you are finding with fixed strings. You do not create a new subtype for the
unbounded string type whenever you create an instance. The subtype is
always constant.

Jim Rogers
"Wojtek Narczynski" <wojtek@power.com.pl> wrote in message
news:5ad0dd8a.0301270746.6ad4c4b0@posting.google.com...
> Theoretically all clear, practically - major bummer.
>
> Looks like this used to work in some older version of GNAT:
>
>  type String_Access is access all String;
>  S : aliased String (1 .. 10);
>
> ...
>
>   declare
>     subtype S_Access is String_Access (S'Range);
>     SA : S_Access := S'Access;
>   begin
>
> (From this thread:
> http://groups.google.com/groups?hl=en&lr=&ie=UTF-8&frame=right
> &th=1de133c02ad2b2d3&seekm=m3ogiofyua.fsf%40mheaney.ni.net#link1)
>
> But now it doesn't with current (3.15p) GNAT nor current Aonix. Other
> variants I could think of don't work either.
>
> At present I can't come up with any idea on how to obtain a compatible
> access subtype.
>
> Regards,
> Wojtek