Re: Drop $position callback…

Michael Kay <mike@saxonica.com> writes:
> Could we please take a straw poll between three possible ways of resolving this:
>
> (a) drop the position callback on fold-left/fold-right (without prejudice to decisions on any other functions)
>
> (b) add the position callback to scan-left/scan-right
>
> (c) drop the scan-left/scan-right functions entirely

I’ll open the discussion of this issue with that straw poll. I will ask everyone to vote for exactly one option. If you think the options are unclear, please ask for clarifiction now.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Tuesday, 11 March 2025 09:46:12 UTC