From bd8edc3bf49c43b8958e8677b190a41de64beb32 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Thu, 18 Jul 2024 22:27:41 +0100 Subject: [PATCH] amend another bug --- src/line_gap.sml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/line_gap.sml b/src/line_gap.sml index fc49b58..7b9ba6c 100644 --- a/src/line_gap.sml +++ b/src/line_gap.sml @@ -1396,16 +1396,17 @@ struct val str = String.substring (rightStringsHd, 0, strLength) val midpoint = binSearch (String.size str - 1, rightLinesHd) val newLeftLines = - if midpoint >= 0 then + if midpoint < 0 orelse Vector.length rightLinesHd = 0 + then Vector.fromList [] + else let val _ = println "1390" + val _ = println ("midpoint = " ^ Int.toString midpoint) val slice = VectorSlice.slice (rightLinesHd, 0, SOME (midpoint + 1)) in VectorSlice.vector slice end - else - Vector.fromList [] val _ = println "1340" in { idx = curIdx + strLength