2 patches for repository http://darcs.net/screened:
patch 2831f357496865c76860dc9438f195dcb8b13fec
Author: Ben Franksen <ben.franksen@online.de>
Date: Tue Mar 2 14:26:11 CET 2021
* rename addPendingDiffToPending to unsafeAddToPending
patch 8237940978023934f829ef3d5d449007b867d55f
Author: Ben Franksen <ben.franksen@online.de>
Date: Tue Mar 2 16:06:25 CET 2021
* remove the unsafe tentativelyAddToPending, replace with addToPending
The fact that this type checks witnesses the fact that indeed using
tentativelyAddToPending was wrong: the patches we pass all start at the
unrecorded state and thus should be commuted past the difference between
pending and working before appending them to pending. This is what
addToPending does which is why it is the safer choice here.
Attachments
|