github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00
Code Issues Projects Releases Wiki Activity

Inline the definition of setK.

Browse Source
This commit is contained in:
Rob Rix 2017-06-13 18:04:32 -04:00
parent 8d3b0ceaa2
commit a74c0665fd
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/SES/Myers.hs
View File

@ -103,7 +103,8 @@ runSES eq (EditGraph as bs)
-- The upper/right extent of the search region or edit graph, whichever is smaller.
return (moveRightFrom (getK (Diagonal (pred k))))
endpoint <- slideFrom from
setK v (Diagonal k) endpoint
let Endpoint x _ script = endpoint
put (MyersState (v Array.// [(Diagonal k, (x, script))]))
return endpoint
-- | Move downward from a given vertex, inserting the element for the corresponding row.
@ -112,10 +113,6 @@ runSES eq (EditGraph as bs)
-- | Move rightward from a given vertex, deleting the element for the corresponding column.
moveRightFrom (Endpoint x y script) = Endpoint (succ x) y (if x < length as then This (as ! x) : script else script)
-- | Update the maximum extent reached and path taken along a given diagonal.
setK v k (Endpoint x _ script) =
put (MyersState (v Array.// [(k, (x, script))]))
-- | Slide down any diagonal edges from a given vertex.
slideFrom (Endpoint x y script)
| x >= 0, x < length as