amend a bug to do with tabulating vector

2024-07-19 20:12:09 +01:00
parent 05e3f3e2db
commit 26dff0c083
1 changed files with 2 additions and 3 deletions
--- 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 []