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

[tmoran@acm.org]

> the Ada approach
with Ada.Text_Io;
procedure Testas is

  type Index_Pairs is record
    Left, Right : Natural := 0;
  end record;

  type Index_Pair_Lists is array (1 .. 4) of Index_Pairs;

  procedure Target_Proc(A, B, C, D : in String) is
  begin
    Ada.Text_Io.Put_Line(D & C & B & A);
  end Target_Proc;

  procedure Pass_It_On(S    : in String;
                       List : in Index_Pair_Lists) is
  begin
    Target_Proc(S(List(1).Left .. List(1).Right),
                S(List(2).Left .. List(2).Right),
                S(List(3).Left .. List(3).Right),
                S(List(4).Left .. List(4).Right));
  end Pass_It_On;

  Test_String: constant String := "now is the time";

  function Find_Substrings(Source : String) return Index_Pair_Lists is
  begin
    return ((1, 3), (5, 6), (8, 10), (12, 15)); -- fake it
  end Find_Substrings;

begin
  Pass_It_On(Test_String, Find_Substrings(Test_String));
end Testas;