git.iko.soy/patch
on develop help sign in
Simplify

Expanded some thing fighting the type checker, can put back now.

commit055f256a762d9dbe4e20505a99db8413a36d92b9 authorJohn Ericson <John.Ericson@Obsidian.Systems> dateFri 23 Apr 2021, 13:29 (5 years ago) parent62bd0fc
1 file changed+3−3
compare with develop
unifiedsplit
src/Data/Patch/DMapWithPatchingMove.hs+3−3
src/Data/Patch/DMapWithPatchingMove.hs+3−3
@@ -259,13 +259,13 @@ instance forall k p
259259 Just Refl ->
260260 [ toAfter :=> Const Fixup_Delete ]
261261 Nothing ->
262− [ toAfter :=> Const (Fixup_Update $ This $ between :=> From_Move (fromBefore :=> Flip p))
263− , fromBefore :=> Const (Fixup_Update $ That $ To_Move $ Some toAfter)
262+ [ toAfter :=> Const (Fixup_Update $ This $ between :=> editBefore)
263+ , fromBefore :=> Const (Fixup_Update $ That editAfter)
264264 ]
265265 (To_NonMove, From_Move (fromBefore :=> _)) ->
266266 -- The item is destroyed in the second patch, so indicate that it is
267267 -- destroyed in the source map
268− [fromBefore :=> Const ( Fixup_Update $ That To_NonMove)]
268+ [fromBefore :=> Const (Fixup_Update $ That To_NonMove)]
269269 (To_Move (Some toAfter), _) ->
270270 [toAfter :=> Const (Fixup_Update $ This $ between :=> editBefore)]
271271 (To_NonMove, _) ->