unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-24 00:39:58 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1210 from unisonweb/topic/1202-one-root-update

Browse Source 
eliminated single-use helper and out-of-date comment
This commit is contained in:
mergify[bot] 2020-02-06 23:51:58 +00:00 committed by GitHub
commit d0c3be9c3c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
parser-typechecker/src/Unison/Codebase/Editor/HandleInput.hs
View File

@ -1532,14 +1532,8 @@ propagatePatch :: (Monad m, Var v) =>
InputDescription -> Patch -> Path.Absolute -> Action' m v Bool
propagatePatch inputDescription patch scopePath =
stepAtM' (inputDescription <> " (applying patch)")
(Path.unabsolute scopePath, applyPatch' patch)
-- Returns a function that updates a Branch0 according to the patch,
-- and a an action that prints todo output, suitable for running if the branch
-- was updated
applyPatch' :: forall m v. (Monad m, Var v)
=> Patch -> Branch0 m -> Action' m v (Branch0 m)
applyPatch' patch = lift . lift . Propagate.propagateAndApply patch
(Path.unabsolute scopePath,
lift . lift . Propagate.propagateAndApply patch)
-- | Create the args needed for showTodoOutput and call it
doShowTodoOutput :: Monad m => Patch -> Path.Absolute -> Action' m v ()