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

Generalize editDistanceIfComparable over the annotation types.

Browse Source
This commit is contained in:
Rob Rix 2017-09-14 10:03:54 -04:00
parent c0b3cf0556
commit 8535089860
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/RWS.hs
View File

@ -181,10 +181,10 @@ nearestUnmapped
nearestUnmapped editDistance canCompare unmapped tree key = getFirst $ foldMap (First . Just) (sortOn (editDistanceIfComparable editDistance canCompare (term key) . term) (toList (IntMap.intersection unmapped (toMap (kNearest tree defaultL key)))))
editDistanceIfComparable :: Bounded t
=> (These (Term syntax (Record fields)) (Term syntax (Record fields)) -> t)
-> ComparabilityRelation syntax (Record fields) (Record fields)
-> Term syntax (Record fields)
-> Term syntax (Record fields)
=> (These (Term syntax ann1) (Term syntax ann2) -> t)
-> ComparabilityRelation syntax ann1 ann2
-> Term syntax ann1
-> Term syntax ann2
-> t
editDistanceIfComparable editDistance canCompare a b = if canCompareTerms canCompare a b
then editDistance (These a b)