Re: Ok - WHAT are those "Maps.Identity" things ???

["G.B." <bauhaus@notmyhomepage.invalid>]

On 07.01.22 03:31, 1.AAC0832 wrote:

>    Gnat wants FOUR params ... and it's the last "map" related
>    one that's most mysterious. I'd also seen examples using
>    only TWO params ... but the compiler balks.
> 
>    In any case :
>    Idx := Index
>          (Source  => S,
>           Pattern => P,
>           From    => Idx + 1);
> 
>    won't compile no matter what you put in "from".

In case you use the opaque type Unbounded_String everywhere,
and then the Index function, it is documented to want a String,
not an Unbounded_String for the Pattern. So, if that's the case,
get a normal (fixes size array) String from an Unbounded_String
object first.

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;

function pos2 (hay_stack : Unbounded_String; needle : Unbounded_String)
   return Natural
is
    result : Natural;
begin
    result := Index (Source  => hay_stack,
                     Pattern => To_String(needle),
                     From    => 2);
    return result;
end pos2;