humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

amend bug

Browse Source
This commit is contained in:
Humza Shahid
2024-07-18 22:19:29 +01:00
parent b227aa68ba
commit 898249a1a8
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/line_gap.sml
View File

@@ -1342,17 +1342,21 @@ struct
val sub1LineEnd = binSearch val sub1LineEnd = binSearch
(String.size sub1 - 1, rightLinesHd) (String.size sub1 - 1, rightLinesHd)
val sub1Lines = val sub1Lines =
if sub1LineEnd >= 0 then if sub1LineEnd < 0 orelse Vector.length rightLinesHd = 0
then Vector.fromList []
else
let let
val _ = println "1224" 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)) (rightLinesHd, 0, SOME (sub1LineEnd + 1))
in in
VectorSlice.vector slice VectorSlice.vector slice
end end
else
Vector.fromList []
val _ = println "1356"
val sub2Start = finish - curIdx val sub2Start = finish - curIdx
val sub2 = String.substring val sub2 = String.substring
( rightStringsHd ( rightStringsHd