1
1
mirror of https://github.com/github/semantic.git synced 2024-12-26 00:12:29 +03:00

Slide down diagonals along both axes.

This commit is contained in:
Rob Rix 2017-06-14 16:04:04 -04:00
parent e1f2e988ed
commit 9cef2b2cd6

View File

@ -104,8 +104,8 @@ runSES eq (EditGraph as bs)
, y >= 0, y < m
, a <- as ! x
, b <- bs ! y
, a `eq` b = slideFrom (Endpoint (succ x) y (These a b : script))
| otherwise = (Endpoint x (succ y) script)
, a `eq` b = slideFrom (Endpoint (succ x) (succ y) (These a b : script))
| otherwise = (Endpoint x y script)
-- Implementation details