Commit 32d7a754f0af24be8e2d83cec1afd2a91222e52c

Thomas de Grivel 2023-01-28T19:09:12

tests

diff --git a/test/ic3/call.in b/test/ic3/call.in
index 609b214..ef69966 100644
--- a/test/ic3/call.in
+++ b/test/ic3/call.in
@@ -6,3 +6,6 @@ quote Test.test()
 quote Test.test(1)
 quote Test.test(1, 2)
 quote Test.test(1, 2, 3)
+
+first([1, 2])
+Kernel.first([1, 2])
diff --git a/test/ic3/call.out.expected b/test/ic3/call.out.expected
index 8d68690..8deb9a0 100644
--- a/test/ic3/call.out.expected
+++ b/test/ic3/call.out.expected
@@ -14,3 +14,8 @@ quote Test.test(1, 2)
 
 quote Test.test(1, 2, 3)
 
+
+1
+
+1
+