From: Gautier write-only address <gautier_niouzes@hotmail.com>
Subject: Re: Ok - WHAT are those "Maps.Identity" things ???
Date: Thu, 6 Jan 2022 19:39:23 -0800 (PST) [thread overview]
Message-ID: <d2377398-6a4b-4ad3-8e27-2aa14ebe81a4n@googlegroups.com> (raw)
In-Reply-To: <AOmdnX_3T5ObO0r8nZ2dnUU7-IHNnZ2d@earthlink.com>
> > https://learn.adacore.com/courses/intro-to-ada/chapters/standard_library_strings.html
> 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".
Uh? Do you see the big "Run" button on the Web site mentioned above? Click on it!
next prev parent reply other threads:[~2022-01-07 3:39 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-01-05 0:54 Ok - WHAT are those "Maps.Identity" things ??? 1.AAC0831
2022-01-05 5:49 ` Rod Kay
2022-01-07 2:31 ` 1.AAC0832
2022-01-07 3:39 ` Gautier write-only address [this message]
2022-01-07 4:14 ` Randy Brukardt
2022-01-10 5:13 ` 1.AAC0832
2022-01-10 10:19 ` Marius Amado-Alves
2022-01-11 5:20 ` 1.AAC0832
2022-01-07 11:48 ` G.B.
2022-01-10 4:49 ` 1.AAC0832
2022-01-05 13:01 ` Jeffrey R.Carter
2022-01-07 2:41 ` 1.AAC0832
2022-01-07 9:49 ` Jeffrey R.Carter
2022-01-10 4:46 ` 1.AAC0832
2022-01-10 15:05 ` Simon Wright
2022-01-11 5:17 ` 1.AAC0832
2022-01-11 11:33 ` Niklas Holsti
2022-01-12 4:22 ` 1.AAC0832
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox