1
1
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00

Sliding can operate at the zeroth index.

This commit is contained in:
Rob Rix 2017-03-10 13:52:56 -05:00
parent 28b5a99333
commit c4a7f35d46

View File

@ -150,8 +150,8 @@ decompose myers = let ?callStack = popCallStack callStack in case myers of
at v k = let x = v ! maxD + k in Endpoint x (x - k)
slide by eq (Endpoint x y)
| x > 0, x < length as
, y > 0, y < length bs
| x >= 0, x < length as
, y >= 0, y < length bs
, (as ! x) `eq` (bs ! y) = slide by eq (Endpoint (x + by) (y + by))
| otherwise = Endpoint x y