From 8effd43acf67ef2f6be1c58ffda6ed854cead4d3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= Date: Thu, 12 Dec 2024 10:51:57 +0100 Subject: [PATCH] Promote updated tests --- tests/test-dirs/type-enclosing/te-modules.t | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tests/test-dirs/type-enclosing/te-modules.t b/tests/test-dirs/type-enclosing/te-modules.t index 549063081..ea8466687 100644 --- a/tests/test-dirs/type-enclosing/te-modules.t +++ b/tests/test-dirs/type-enclosing/te-modules.t @@ -186,6 +186,10 @@ With index 0 only the first type is shown: val filter : ('a -> bool) -> 'a list -> 'a list val find_all : ('a -> bool) -> 'a list -> 'a list val filteri : (int -> 'a -> bool) -> 'a list -> 'a list + val take : int -> 'a list -> 'a list + val drop : int -> 'a list -> 'a list + val take_while : ('a -> bool) -> 'a list -> 'a list + val drop_while : ('a -> bool) -> 'a list -> 'a list val partition : ('a -> bool) -> 'a list -> 'a list * 'a list val partition_map : ('a -> ('b, 'c) Either.t) -> 'a list -> 'b list * 'c list