github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity

Specialize decompose to record annotations.

Browse Source
This commit is contained in:
Rob Rix 2017-02-21 15:41:07 -05:00
parent e7cc5a9c6e
commit b48a15e277
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Interpreter.hs
View File

@ -100,7 +100,7 @@ runAlgorithm recur = iterAp $ \ r cont -> case r of
Replace a b -> cont (replacing a b) Replace a b -> cont (replacing a b)
-- | Decompose a step of an algorithm into the next steps to perform. -- | Decompose a step of an algorithm into the next steps to perform.
decompose :: (GAlign f, Traversable f) => AlgorithmF (Term f ann) (Diff f ann) result -> Algorithm (Term f ann) (Diff f ann) result decompose :: (GAlign f, Traversable f) => AlgorithmF (Term f (Record fields)) (Diff f (Record fields)) result -> Algorithm (Term f (Record fields)) (Diff f (Record fields)) result
decompose = \case decompose = \case
Linear t1 t2 -> case galignWith recur (unwrap t1) (unwrap t2) of Linear t1 t2 -> case galignWith recur (unwrap t1) (unwrap t2) of
Just result -> annotate t1 t2 <$> sequenceA result Just result -> annotate t1 t2 <$> sequenceA result