dupdob
commented
10 months ago quick remark: I would even suggest aiming one step beyond the existing design. The current rollback logic lacks the ability to re-inject a rolled back mutation; if the rollback logic could do that, there is no problem when a compilation error cannot be directly linked with the guilty mutation; the algorithm can just proceed with trial and error. It would be slower, but far more conservative that the rollback everything logic we have with safe mode.
This is just a small ticket to keep the F# rollback on the radar. We might or might not need it, it will be clear after we start having real mutations in F#. If we come up with mutations which are useful but potentially breaking, we should bring the rollback logic inspired by the current C# rollback process.