fix bug in line_gap.sml's 'lineNumberToIdxRight' function: when calling 'lineNumberToIdxRight', pass tails of 'rightStrings' and 'rightLines', instead of passing 'rightStrings' and 'rightLines' themselves, so that we advance through the list
This commit is contained in:
@@ -3238,12 +3238,7 @@ struct
|
|||||||
end
|
end
|
||||||
else
|
else
|
||||||
lineNumberToIdxRight
|
lineNumberToIdxRight
|
||||||
( findLine
|
(findLine, curIdx + String.size shd, nextLine, stl, ltl)
|
||||||
, curIdx + String.size shd
|
|
||||||
, nextLine
|
|
||||||
, rightStrings
|
|
||||||
, rightLines
|
|
||||||
)
|
|
||||||
end
|
end
|
||||||
| (_, _) => curIdx
|
| (_, _) => curIdx
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user