From d19b660be5753e600e979afa99b409398c05d2ca Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Mon, 13 Nov 2023 03:18:35 +0000 Subject: [PATCH] forgot to write outer delete function before (only 6 lines long), so added it now --- rope.sml | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/rope.sml b/rope.sml index 6a6e08f..e403662 100644 --- 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