From 26dff0c0834c13a0fc86799d18cbf22441a1622d Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Fri, 19 Jul 2024 20:12:09 +0100 Subject: [PATCH] amend a bug to do with tabulating vector --- src/line_gap.sml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/line_gap.sml b/src/line_gap.sml index 065b9ee..5b4cb97 100644 --- a/src/line_gap.sml +++ b/src/line_gap.sml @@ -1705,10 +1705,9 @@ struct if midpoint >= 0 then let val _ = println "1640" - val slice = VectorSlice.slice - (leftLinesHd, 0, SOME (midpoint + 1)) in - VectorSlice.vector slice + Vector.tabulate (midpoint, fn idx => + Vector.sub (leftLinesHd, idx + 1) - stringStart) end else Vector.fromList []