From a84e462b596c24d2562d766ceb019761085390c5 Mon Sep 17 00:00:00 2001
From: Nathan Ringo <nathan@remexre.com>
Date: Fri, 19 Jan 2024 19:37:08 -0600
Subject: Use GADTs for prims, actual redex finding.

---
 discocaml/arraylist.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'discocaml/arraylist.ml')

diff --git a/discocaml/arraylist.ml b/discocaml/arraylist.ml
index d1a9ecd..110cd17 100644
--- a/discocaml/arraylist.ml
+++ b/discocaml/arraylist.ml
@@ -28,6 +28,7 @@ let%test _ = next_pow2 12345 = 16384
 let make len dummy =
   { array = Array.make (max (next_pow2 len) 4) dummy; dummy; len }
 
+let copy { array; dummy; len } = { array = Array.copy array; dummy; len }
 let length { len; _ } = len
 
 let get { array; len; _ } i =
-- 
cgit v1.2.3