mirror of
https://github.com/github/semantic.git
synced 2025-01-01 19:55:34 +03:00
Remove the copy
binding.
This commit is contained in:
parent
56b4ae6ea3
commit
7ef0800b75
@ -41,7 +41,6 @@ diffAt diffTerms cost (i, j) (a : as) (b : bs) = do
|
||||
where
|
||||
delete = consWithCost cost (Pure . Delete $ a)
|
||||
insert = consWithCost cost (Pure . Insert $ b)
|
||||
copy diff = (id &&& cost) diff
|
||||
sumCost script = sum $ snd <$> script
|
||||
best options = minimumBy (comparing sumCost) options
|
||||
recur = diffAt diffTerms cost
|
||||
|
Loading…
Reference in New Issue
Block a user