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

verify that moveLeftAndIns works as expected

Browse Source
This commit is contained in:
Humza Shahid
2024-07-01 07:40:17 +01:00
parent 1be8a40e48
commit 3e924b1082
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/line_gap.sml
View File

@@ -578,11 +578,11 @@ struct
(leftStringsHd, rightStringsHd, leftLinesHd, rightLinesHd) (leftStringsHd, rightStringsHd, leftLinesHd, rightLinesHd)
*) then *) then
let let
(* VERIFIED TO WORK *)
val _ = print "line 370\n" val _ = print "line 370\n"
val prevLine = curLine - Vector.length leftLinesHd val prevLine = curLine - Vector.length leftLinesHd
val newRightStringsHd = leftStringsHd ^ rightStringsHd val newRightStringsHd = leftStringsHd ^ rightStringsHd
(*
val newRightLinesHd = val newRightLinesHd =
Vector.tabulate Vector.tabulate
( Vector.length leftLinesHd ( Vector.length leftLinesHd
@@ -595,8 +595,6 @@ struct
(rightLinesHd, idx - Vector.length leftLinesHd) (rightLinesHd, idx - Vector.length leftLinesHd)
+ String.size leftStringsHd + String.size leftStringsHd
) )
*)
val newRightLinesHd = countLineBreaks newRightStringsHd
in in
moveLeftAndIns moveLeftAndIns
( idx ( idx