From d76ab0c3fe5b394e0c82045e24ffd19407c8926e Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Mon, 22 Sep 2025 10:20:27 +0100 Subject: [PATCH] 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 --- src/line_gap.sml | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/line_gap.sml b/src/line_gap.sml index a79e6b7..ff2cb41 100644 --- a/src/line_gap.sml +++ b/src/line_gap.sml @@ -3238,12 +3238,7 @@ struct end else lineNumberToIdxRight - ( findLine - , curIdx + String.size shd - , nextLine - , rightStrings - , rightLines - ) + (findLine, curIdx + String.size shd, nextLine, stl, ltl) end | (_, _) => curIdx