1
1
mirror of https://github.com/github/semantic.git synced 2025-01-03 13:02:37 +03:00

Reformat the replacement rule.

This commit is contained in:
Rob Rix 2017-12-07 10:52:21 -07:00
parent 1717f2a6a6
commit 27f7a5778f

View File

@ -30,8 +30,8 @@ diffAlgebra d i = case d of
Merge t -> termAlgebra t i
Patch (Delete t1) -> termAlgebra t1 i `modifyHeadNode` setColour "red"
Patch (Insert t2) -> termAlgebra t2 i `modifyHeadNode` setColour "green"
Patch (Replace t1 t2) -> let (i', g1) = termAlgebra t1 i `modifyHeadNode` setColour "red" in
(i', g1) <> (termAlgebra t2 (succ (maximum (i : i'))) `modifyHeadNode` setColour "green")
Patch (Replace t1 t2) -> let (i', g1) = termAlgebra t1 i `modifyHeadNode` setColour "red"
in (i', g1) <> (termAlgebra t2 (succ (maximum (i : i'))) `modifyHeadNode` setColour "green")
where modifyHeadNode (i, g) f | n:ns <- graphNodes g = (i, g { graphNodes = f n : ns })
| otherwise = (i, g)
setColour c n = n { nodeAttributes = Map.insert "color" c (nodeAttributes n) }