From 898249a1a8962b898fcbca9845d35c2dd298daa4 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Thu, 18 Jul 2024 22:19:29 +0100 Subject: [PATCH] amend bug --- src/line_gap.sml | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/src/line_gap.sml b/src/line_gap.sml index 774ea92..fc49b58 100644 --- a/src/line_gap.sml +++ b/src/line_gap.sml @@ -1342,17 +1342,21 @@ struct val sub1LineEnd = binSearch (String.size sub1 - 1, rightLinesHd) val sub1Lines = - if sub1LineEnd >= 0 then + if sub1LineEnd < 0 orelse Vector.length rightLinesHd = 0 + then Vector.fromList [] + else let val _ = println "1224" - val slice = VectorSlice.slice + val _ = println ("vlen = " ^ Int.toString + (Vector.length rightLinesHd)) + val _ = println ("sub1LineEnd = " ^ Int.toString sub1LineEnd) + val slice = VectorSlice.slice (rightLinesHd, 0, SOME (sub1LineEnd + 1)) in VectorSlice.vector slice end - else - Vector.fromList [] + val _ = println "1356" val sub2Start = finish - curIdx val sub2 = String.substring ( rightStringsHd