Commit dc238ef68500ec204df67dd31f4575e036921e55

Thomas de Grivel 2024-03-30T06:27:46

add tests for defmodule

diff --git a/test/ic3/defmodule.in b/test/ic3/defmodule.in
index d321b83..17ef9ec 100644
--- a/test/ic3/defmodule.in
+++ b/test/ic3/defmodule.in
@@ -1,5 +1,17 @@
 quote defmodule Empty do end
 defmodule Empty do end
+quote defmodule Const do
+  def a = 1
+  def b = 10000000000000000000000000000000000000000000000000
+end
+defmodule Const do
+  def a = 1
+  def b = 10000000000000000000000000000000000000000000000000
+end
+quote Const.a
+Const.a
+quote Const.b
+Const.b
 quote defmodule Double do
   def double = fn (x) { x * 2 }
 end
diff --git a/test/ic3/defmodule.out.expected b/test/ic3/defmodule.out.expected
index 53e356a..273bbbf 100644
--- a/test/ic3/defmodule.out.expected
+++ b/test/ic3/defmodule.out.expected
@@ -1,5 +1,14 @@
 defmodule Empty do end
 Empty
+defmodule Const do
+  def a = 1
+  def b = 10000000000000000000000000000000000000000000000000
+end
+Const
+Const.a
+1
+Const.b
+10000000000000000000000000000000000000000000000000
 defmodule Double do
   def double = fn (x) { x * 2 }
 end