On Thu, 2021-01-21 at 12:29 +, Richard Sandiford wrote:
> Given what you said in the other message about combine, I agree this
> is a reasonable workaround. I don't know whether it's suitable for
> stage 4 or whether it would need to wait for stage 1.
Thanks for reviewing! I've implemented y
Ilya Leoshkevich writes:
> On Thu, 2021-01-21 at 12:29 +, Richard Sandiford wrote:
>> Given what you said in the other message about combine, I agree this
>> is a reasonable workaround. I don't know whether it's suitable for
>> stage 4 or whether it would need to wait for stage 1.
>
> Thanks