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

Split the body of spanAndSplitFirstLines onto a newline and dedent.

Browse Source
This commit is contained in:
Rob Rix 2016-04-13 16:05:48 -04:00
parent b8bc77bb7f
commit 0ea6286197
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/Alignment.hs
View File

@ -155,12 +155,13 @@ group2 ranges children | Just (headRanges, tailRanges) <- unconsThese ranges
spanAndSplitFirstLines :: (Join These a -> Join These Bool) -> [[Join These a]] -> ([(Join These a, [Join These a])], [[Join These a]])
spanAndSplitFirstLines pred = foldr go ([], [])
where go (first : rest) (intersecting, nonintersecting) =
let ~(l, r) = split first in case fromThese False False . runJoin $ pred first of
(True, True) -> ((first, rest) : intersecting, nonintersecting)
(True, False) -> ((head l, r ++ rest) : intersecting, nonintersecting)
(False, True) -> ((head r, l ++ rest) : intersecting, nonintersecting)
_ -> (intersecting, (first : rest) : nonintersecting)
where go child (intersecting, nonintersecting)
| (first : rest) <- child = let ~(l, r) = split first in
case fromThese False False . runJoin $ pred first of
(True, True) -> ((first, rest) : intersecting, nonintersecting)
(True, False) -> ((head l, r ++ rest) : intersecting, nonintersecting)
(False, True) -> ((head r, l ++ rest) : intersecting, nonintersecting)
_ -> (intersecting, (first : rest) : nonintersecting)
-- | Partitions and splits a list of children into a tuple consisting of:
-- | - elements which matched; if an element matches only partially this field will contain only the matching side