From 3e924b1082fef7d2f3a30293be6ae8b4ab116969 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Mon, 1 Jul 2024 07:40:17 +0100 Subject: [PATCH] verify that moveLeftAndIns works as expected --- src/line_gap.sml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/line_gap.sml b/src/line_gap.sml index 50ced2a..dd10e58 100644 --- a/src/line_gap.sml +++ b/src/line_gap.sml @@ -578,11 +578,11 @@ struct (leftStringsHd, rightStringsHd, leftLinesHd, rightLinesHd) *) then let + (* VERIFIED TO WORK *) val _ = print "line 370\n" val prevLine = curLine - Vector.length leftLinesHd val newRightStringsHd = leftStringsHd ^ rightStringsHd - (* val newRightLinesHd = Vector.tabulate ( Vector.length leftLinesHd @@ -595,8 +595,6 @@ struct (rightLinesHd, idx - Vector.length leftLinesHd) + String.size leftStringsHd ) - *) - val newRightLinesHd = countLineBreaks newRightStringsHd in moveLeftAndIns ( idx