insertPos

[pdavidow]

data Edit = EditDelete { deleteFrom :: Int
                       , deleteTo :: Int }
          | EditInsert { insertPos :: Int
                       , insertFrom :: Int
                       , insertTo :: Int }

What is the meaning of insertPos ?

[thomasjm]

I believe insertPos is the position of the insert (in the left string), and insertFrom/insertTo are the bounds of the inserted tokens (in the right string).

See the usage here:

myers-diff/src/Data/Diff/Myers.hs

Line 210 in 600d2c4

go seqSoFar pos line ch ((EditInsert _at rightFrom rightTo) :<| rest) = go (seqSoFar |> change) pos' line' ch' rest

[pdavidow]

And for delete, the from/to is for the left string?

[thomasjm]

Yep