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

Handle the short-circuit cases early.

Browse Source
This commit is contained in:
Rob Rix 2017-10-23 21:05:30 -04:00
parent 95b50b2dc4
commit d5c9a68f78
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/RWS.hs
View File

@ -183,7 +183,9 @@ findNearestNeighbourTo' :: (Foldable syntax, Functor syntax, GAlign syntax)
-> [UnmappedTerm syntax ann1] -> [UnmappedTerm syntax ann1]
-> [UnmappedTerm syntax ann2] -> [UnmappedTerm syntax ann2]
-> [MappedDiff syntax ann1 ann2] -> [MappedDiff syntax ann1 ann2]
findNearestNeighbourTo' canCompare kdTreeA kdTreeB = go findNearestNeighbourTo' _ _ _ _ as [] = This . (termIndex &&& term) <$> as
findNearestNeighbourTo' _ _ _ _ [] bs = That . (termIndex &&& term) <$> bs
findNearestNeighbourTo' canCompare kdTreeA kdTreeB i as bs = go i as bs
where go _ as [] = This . (termIndex &&& term) <$> as where go _ as [] = This . (termIndex &&& term) <$> as
go _ [] bs = That . (termIndex &&& term) <$> bs go _ [] bs = That . (termIndex &&& term) <$> bs
go previous unmappedA@(UnmappedTerm minA _ _ : _) (termB@(UnmappedTerm j _ b) : restUnmappedB) = go previous unmappedA@(UnmappedTerm minA _ _ : _) (termB@(UnmappedTerm j _ b) : restUnmappedB) =