forgot to write outer delete function before (only 6 lines long), so added it now

2023-11-13 03:18:35 +00:00
parent 49204dd3f1
commit d19b660be5
1 changed files with 7 additions and 2 deletions
--- a/rope.sml
+++ b/rope.sml
@@ -348,5 +348,10 @@ fun del start_idx end_idx rope =
        end
    | _ => raise Empty

-
-            
+fun delete start length rope =
+  let
+    val finish = start + length
+    val (t, _) = del start finish rope
+  in
+    t
+  end