1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00

D-paths are reported as endpoints.

This commit is contained in:
Rob Rix 2017-03-09 10:24:37 -05:00
parent 911e03f761
commit aa01343a95

View File

@ -9,7 +9,7 @@ import Prologue
data MyersF a where
SES :: [a] -> [a] -> MyersF [These a a]
MiddleSnake :: Vector.Vector a -> Vector.Vector a -> MyersF (Snake, EditDistance)
FindDPath :: EditDistance -> Diagonal -> MyersF Int
FindDPath :: EditDistance -> Diagonal -> MyersF Endpoint
type Myers = Freer MyersF
@ -26,4 +26,4 @@ decompose myers = case myers of
MiddleSnake _ _ -> return (Snake (Endpoint (0, 0)) (Endpoint (0, 0)), EditDistance 0)
FindDPath _ _ -> return 0
FindDPath _ _ -> return (Endpoint (0, 0))