From ddc87518a72596be9b2c5f480763cce5db778280 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 20 Dec 2025 11:08:39 -0500
Subject: [PATCH] another test for lists

---
 tests/core/t_list.ml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tests/core/t_list.ml b/tests/core/t_list.ml
index 70e36b6d..c3ded12e 100644
--- a/tests/core/t_list.ml
+++ b/tests/core/t_list.ml
@@ -721,6 +721,13 @@ q
     let i = abs i in
     let l1, l2 = take_drop i l in
     l1 @ l2 = l)
+;;
+
+q
+  (Q.pair (Q.list Q.small_int) Q.int)
+  (fun (l, i) ->
+    let i = abs i in
+    take_drop i l = (take i l, drop i l))
 
 let subs = sublists_of_len;;