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

Inline the definition of annotate.

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

4
src/Interpreter.hs
View File

@ -114,13 +114,13 @@ decompose :: (Eq1 f, GAlign f, Traversable f, HasField fields Category, HasField
-> Algorithm (Term f (Record fields)) (Diff f (Record fields)) result -- ^ The sequence of next steps to undertake to continue the algorithm.
decompose = \case
Linear t1 t2 -> case galignWith diffThese (unwrap t1) (unwrap t2) of
Just result -> annotate t1 t2 <$> sequenceA result
Just result -> wrap . (both (extract t1) (extract t2) :<) <$> sequenceA result
_ -> byReplacing t1 t2
RWS as bs -> traverse diffThese (rws (editDistanceUpTo defaultM) comparable as bs)
Delete a -> pure (deleting a)
Insert b -> pure (inserting b)
Replace a b -> pure (replacing a b)
where annotate t1 t2 = wrap . (both (extract t1) (extract t2) :<)
-- | How many nodes to consider for our constant-time approximation to tree edit distance.
defaultM :: Integer