Shape pairing is not stable
When several tasks have the same shape, the pairing algorithm is unable to properly associate old and new tasks. At the very least, it should preserve the original order of tasks.
(I tried to replace List.sort
with List.stable_sort
in termcode.ml
. That didn't help.)