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

Stub in handling of the Diff case.

Browse Source
This commit is contained in:
Rob Rix 2017-02-23 16:48:38 -05:00
parent 975c310e97
commit fe6d54ae04
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Interpreter.hs
View File

@ -113,6 +113,8 @@ decompose :: (Eq1 f, GAlign f, Traversable f, HasField fields Category, HasField
=> AlgorithmF (Term f (Record fields)) (Diff f (Record fields)) result -- ^ The step in an algorithm to decompose into its next steps. => AlgorithmF (Term f (Record fields)) (Diff f (Record fields)) result -- ^ The step in an algorithm to decompose into its next steps.
-> Algorithm (Term f (Record fields)) (Diff f (Record fields)) result -- ^ The sequence of next steps to undertake to continue the algorithm. -> Algorithm (Term f (Record fields)) (Diff f (Record fields)) result -- ^ The sequence of next steps to undertake to continue the algorithm.
decompose = \case decompose = \case
Diff t1 t2 -> case (unwrap t1, unwrap t2) of
_ -> byReplacing t1 t2
Linear t1 t2 -> case galignWith diffThese (unwrap t1) (unwrap t2) of Linear t1 t2 -> case galignWith diffThese (unwrap t1) (unwrap t2) of
Just result -> wrap . (both (extract t1) (extract t2) :<) <$> sequenceA result Just result -> wrap . (both (extract t1) (extract t2) :<) <$> sequenceA result
_ -> byReplacing t1 t2 _ -> byReplacing t1 t2