Commit 2bcb91304f29a49babf02f2afc3d3f7b452311eb

Thomas de Grivel 2023-08-12T16:13:06

tests

diff --git a/test/ic3/fn.in b/test/ic3/fn.in
index a16d710..50eeeaa 100644
--- a/test/ic3/fn.in
+++ b/test/ic3/fn.in
@@ -6,6 +6,10 @@ quote fn {
   ((x | _y)) { x }
   (_) { :error }
 }
+quote fn (x) {
+  "Hello, world !"
+  x * 2
+}
 a = fn (x) { x }
 a(1)
 b = fn (x, _y) { x }
@@ -18,3 +22,8 @@ d = fn {
   (_) { :error2 }
 }
 d((1, 2))
+e = fn (x) {
+  "Hello, world !"
+  x * 2
+}
+e(2)
diff --git a/test/ic3/fn.out.expected b/test/ic3/fn.out.expected
index 9ef8205..175d540 100644
--- a/test/ic3/fn.out.expected
+++ b/test/ic3/fn.out.expected
@@ -1,11 +1,15 @@
-quote fn (x) { x }
-quote fn (x, _y) { x }
-quote fn ((x | _y)) { x }
-quote fn {
+fn (x) { x }
+fn (x, _y) { x }
+fn ((x | _y)) { x }
+fn {
   (()) { :error }
   ((x | _y)) { x }
   (_) { :error }
 }
+fn (x) {
+  "Hello, world !"
+  x * 2
+}
 fn (x) { x }
 1
 fn (x, _y) { x }
@@ -18,3 +22,8 @@ fn {
   (_) { :error2 }
 }
 1
+fn (x) {
+  "Hello, world !"
+  x * 2
+}
+4
diff --git a/test/ic3/integer.lisp b/test/ic3/integer.lisp
index 46cc403..f1e8686 100644
--- a/test/ic3/integer.lisp
+++ b/test/ic3/integer.lisp
@@ -4,7 +4,7 @@
                      :direction :output
                      :element-type 'character
                      :if-exists :supersede)
-  (dolist (op (list #'/))
+  (dolist (op (list #'+ #'- #'* #'/))
     (format out "~A~%" (truncate (funcall op -18446744073709551616 -18446744073709551616)))
     (format out "~A~%" (truncate (funcall op -18446744073709551616 -4294967296)))
     (format out "~A~%" (truncate (funcall op -18446744073709551616 -32769)))