From fe8d3906de75e78da670930c743166e3cb288c69 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Tue, 5 Aug 2025 16:17:53 +0100 Subject: [PATCH] fix regression introduced by previous commit (we need to be more careful when consing to 'leftStringsTl/rightStringsTl' than when consing to 'leftStrings/rightStrings', because our usage of consing the 'tl' variant in some places implies we have modified the head of that respective list --- src/line_gap.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/line_gap.sml b/src/line_gap.sml index 5716977..3650923 100644 --- a/src/line_gap.sml +++ b/src/line_gap.sml @@ -1347,8 +1347,8 @@ struct * while origIdx considers index to return * once buffer is done deleting. *) deleteRightFromHere - ( curIdx + String.size newLeftStringsHd - , curLine + Vector.length newLeftLinesHd + ( curIdx + String.size newString + , curLine + Vector.length newLines , nextIdx , finish , newLeftStringsHd :: leftStringsTl