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

progress in changing functions to use 'PersistentVector.delete' so that search list is incremental and not rebuilt from scratch after each deletion

Browse Source
This commit is contained in:
Humza Shahid
2026-02-06 08:57:18 +00:00
parent df7669b065
commit 9c66c3f5e8
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
fcore/persistent-vector.sml
View File

@@ -814,7 +814,7 @@ struct
val left = splitLeft (start, tree) val left = splitLeft (start, tree)
val right = splitRight (finish, tree) val right = splitRight (finish, tree)
val left = append (start, finish, tree) val left = append (start, finish, left)
val rightStartRelative = getStartIdx right val rightStartRelative = getStartIdx right
val rightStartAbsolute = rightStartRelative + finish val rightStartAbsolute = rightStartRelative + finish