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

["1.AAC0832" <z24ba7.net>]

On 1/7/22 6:48 AM, G.B. wrote:
> 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;

   I'll try it as writ.

   Someone else said the "needle" is a straight-up STRING
   however ... and I'd been sending an unbounded.