Commit bc256e049db63e290f16bae30631526431e9620d

Thomas de Grivel 2023-02-11T12:54:42

test/ic3/call.in

diff --git a/test/ic3/call.in b/test/ic3/call.in
index 35e8a5a..c9a2144 100644
--- a/test/ic3/call.in
+++ b/test/ic3/call.in
@@ -6,6 +6,8 @@ quote Test.test()
 quote Test.test(1)
 quote Test.test(1, 2)
 quote Test.test(1, 2, 3)
+quote first([1, 2])
+quote C3.first([1, 2])
 
 first([1, 2])
 C3.first([1, 2])
diff --git a/test/ic3/call.out.expected b/test/ic3/call.out.expected
index 8deb9a0..8ec691a 100644
--- a/test/ic3/call.out.expected
+++ b/test/ic3/call.out.expected
@@ -14,6 +14,10 @@ quote Test.test(1, 2)
 
 quote Test.test(1, 2, 3)
 
+quote first([1, 2])
+
+quote C3.first([1, 2])
+
 
 1