Re: Drop $position callback…

Norm Tovey-Walsh <norm@saxonica.com> writes:
> 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.

On reflection, it’s entirely coherent to vote for both (a) and (c), so I’ll let everyone vote for as many options as the like.

(If anyone votes for (a) and (b), I’m going to think you’re having me on 🤣)

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Tuesday, 11 March 2025 09:49:48 UTC