Commit 2a2a7cb555b52177dda3043c74d92c444d40ecb5

Thomas de Grivel 2024-04-02T11:30:34

defoperator tests

diff --git a/test/ic3/defoperator.in b/test/ic3/defoperator.in
index 8a9a6f7..e25b395 100644
--- a/test/ic3/defoperator.in
+++ b/test/ic3/defoperator.in
@@ -2,9 +2,7 @@ quote defoperator :operator_muul :**** cfn Tag "tag_mul" (Tag, Tag, Result) 11 :
 defoperator :operator_muul :**** cfn Tag "tag_mul" (Tag, Tag, Result) 11 :left
 quote 4 **** 4
 4 **** 4
-quote defmodule Plop do
-  defoperator :operator_addd :++++ cfn Tag "tag_add" (Tag, Tag, Result) 10 :left
-  def double = fn (x) { x ++++ x }
-end
-quote Plop.double(21)
-Plop.double(21)
+quote 4 **** 4 **** 4
+4 **** 4 **** 4
+quote 4 **** 4 + 4
+4 **** 4 + 4
diff --git a/test/ic3/defoperator.out.expected b/test/ic3/defoperator.out.expected
index 8b13789..3e2b8db 100644
--- a/test/ic3/defoperator.out.expected
+++ b/test/ic3/defoperator.out.expected
@@ -1 +1,8 @@
-
+defoperator :operator_muul :**** cfn Tag "tag_mul" (Tag, Tag, Result) 11 :left
+C3.operator_muul
+4 **** 4
+16
+4 **** 4 **** 4
+64
+4 **** 4 + 4
+20