From 7cfa6f7a1dbbf92e43dbfc724a3200d6351c7378 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 13 May 2020 10:30:53 +0200
Subject: [PATCH] Update play.ml to show a use of [E.copy].

---
 play.ml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/play.ml b/play.ml
index 6ab4e77..84e9956 100644
--- a/play.ml
+++ b/play.ml
@@ -48,9 +48,14 @@ let print_int_piter =
 #install_printer print_int_piter;;
 
 (* Using Sek directly, with default settings. *)
+let sum e = E.fold_left (+) 0 e;;
 let e = E.of_array (-1) [|0;1;2;3|];;
-let sum = E.fold_left (+) 0 e;;
-assert (sum = 6);;
+assert (sum e = 6);;
+let e' = E.copy e;;
+E.set e' 0 42;;
+assert (sum e = 6);;
+assert (sum e' = 48);;
+
 let p = P.of_array (-1) (Array.init 32 (fun i -> i));;
 let sum = P.fold_left (+) 0 p;;
 assert (sum = 496);;
-- 
GitLab