From 9c66c3f5e8db44cf74097d976d6e47619712e510 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Fri, 6 Feb 2026 08:57:18 +0000 Subject: [PATCH] progress in changing functions to use 'PersistentVector.delete' so that search list is incremental and not rebuilt from scratch after each deletion --- fcore/persistent-vector.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fcore/persistent-vector.sml b/fcore/persistent-vector.sml index 2b377d6..5da1c91 100644 --- a/fcore/persistent-vector.sml +++ b/fcore/persistent-vector.sml @@ -814,7 +814,7 @@ struct val left = splitLeft (start, tree) val right = splitRight (finish, tree) - val left = append (start, finish, tree) + val left = append (start, finish, left) val rightStartRelative = getStartIdx right val rightStartAbsolute = rightStartRelative + finish