mirror of
https://github.com/github/semantic.git
synced 2024-12-01 00:33:59 +03:00
Don’t close over the head of the list.
This commit is contained in:
parent
1808f61221
commit
53e3928b3d
@ -15,9 +15,7 @@ ses :: Compare a annotation -> Cost a annotation -> [Term a annotation] -> [Term
|
||||
ses _ _ [] b = (Pure . Insert) <$> b
|
||||
ses _ _ a [] = (Pure . Delete) <$> a
|
||||
ses diffTerms cost (a : as) (b : bs) = case diffTerms a b of
|
||||
Just f -> minimumBy (comparing sumCost) [ delete, insert, copy ]
|
||||
where
|
||||
copy = f : ses diffTerms cost as bs
|
||||
Just f -> minimumBy (comparing sumCost) [ delete, insert, copy f ]
|
||||
Nothing -> minimumBy (comparing sumCost) [ delete, insert ]
|
||||
where
|
||||
delete = (Pure . Delete $ a) : ses diffTerms cost as (b : bs)
|
||||
@ -25,3 +23,4 @@ ses diffTerms cost (a : as) (b : bs) = case diffTerms a b of
|
||||
deleteCost = sumCost delete
|
||||
insertCost = sumCost insert
|
||||
sumCost a = sum $ cost <$> a
|
||||
copy head = head : ses diffTerms cost as bs
|
||||
|
Loading…
Reference in New Issue
Block a user