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

Revert "Only take the first line from each child."

Browse Source 
This reverts commit 439e9358ee46be695cf651ed35dc9f988e757b9d.
This commit is contained in:
Rob Rix 2016-03-31 10:01:45 -04:00
parent 8d808e32ca
commit e5192708e0
1 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/Alignment.hs
View File

@ -155,20 +155,21 @@ getRange :: SplitDiff leaf Info -> Range
getRange (Free (Annotated (Info range _) _)) = range
getRange (Pure patch) | Info range _ :< _ <- getSplitTerm patch = range
intersects :: Join These Range -> Join These (SplitDiff leaf Info) -> Join These Bool
intersects ranges child = fromMaybe (False <$ child) $ intersectsChild <$> ranges `applyThese` child
intersects :: Join These Range -> AlignedDiff leaf -> Join These Bool
intersects ranges childLines | (line:_) <- childLines = fromMaybe (False <$ line) $ intersectsChild <$> ranges `applyThese` line
| otherwise = False <$ ranges
intersectsChild :: Range -> SplitDiff leaf Info -> Bool
intersectsChild range child = end (getRange child) <= end range
spanMergeable :: Join These Range -> [AlignedDiff leaf] -> ([AlignedDiff leaf], [AlignedDiff leaf])
spanMergeable ranges children | ((firstChildLine:restChildLines):rest) <- children
, ~(merge, nope) <- spanMergeable ranges (if null restChildLines then rest else restChildLines : rest)
, ~(this, that) <- split firstChildLine
= case fromThese False False . runJoin $ intersects ranges firstChildLine of
(True, True) -> ([firstChildLine] : merge, nope)
(True, False) -> (this : merge, that : nope)
(False, True) -> (that : merge, this : nope)
spanMergeable ranges children | (child:rest) <- children
, ~(merge, nope) <- spanMergeable ranges rest
, ~(this, that) <- unzip $ split <$> child
= case fromThese False False . runJoin $ intersects ranges child of
(True, True) -> (child:merge, nope)
(True, False) -> (this ++ merge, that ++ nope)
(False, True) -> (that ++ merge, this ++ nope)
_ -> ([], children)
| otherwise = ([], [])