mirror of
https://github.com/github/semantic.git
synced 2024-12-01 00:33:59 +03:00
Remove the delete/insert costs.
This commit is contained in:
parent
062d54d731
commit
3be2d11b13
@ -20,7 +20,5 @@ ses diffTerms cost (a : as) (b : bs) = case diffTerms a b of
|
|||||||
where
|
where
|
||||||
delete = (Pure . Delete $ a) : ses diffTerms cost as (b : bs)
|
delete = (Pure . Delete $ a) : ses diffTerms cost as (b : bs)
|
||||||
insert = (Pure . Insert $ b) : ses diffTerms cost (a : as) bs
|
insert = (Pure . Insert $ b) : ses diffTerms cost (a : as) bs
|
||||||
deleteCost = sumCost delete
|
|
||||||
insertCost = sumCost insert
|
|
||||||
sumCost script = sum $ cost <$> script
|
sumCost script = sum $ cost <$> script
|
||||||
copy head = head : ses diffTerms cost as bs
|
copy head = head : ses diffTerms cost as bs
|
||||||
|
Loading…
Reference in New Issue
Block a user