add test

anoma · Jun 8, 2024 · 94c31f2 · 94c31f2
1 parent 2b123a2
commit 94c31f2
Show file tree

Hide file tree

Showing 5 changed files with 21 additions and 1 deletion.
diff --git a/test/Scope/Positive.hs b/test/Scope/Positive.hs
@@ -241,5 +241,9 @@ tests =
     posTest
       "Visibility precedence"
       $(mkRelDir "VisibilityPrecendence")
-      $(mkRelFile "VisibilityPrecedence.juvix")
+      $(mkRelFile "VisibilityPrecedence.juvix"),
+    posTest
+      "import A as B public (issue 2429)"
+      $(mkRelDir "issue2429")
+      $(mkRelFile "Main.juvix")
   ]
diff --git a/tests/positive/issue2429/Export.juvix b/tests/positive/issue2429/Export.juvix
@@ -0,0 +1,3 @@
+module Export;
+
+import Library as Lib public;
diff --git a/tests/positive/issue2429/Library.juvix b/tests/positive/issue2429/Library.juvix
@@ -0,0 +1,3 @@
+module Library;
+
+axiom libType : Type;
diff --git a/tests/positive/issue2429/Main.juvix b/tests/positive/issue2429/Main.juvix
@@ -0,0 +1,5 @@
+module Main;
+
+import Export;
+
+axiom X : Export.Lib.libType;
diff --git a/tests/positive/issue2429/Package.juvix b/tests/positive/issue2429/Package.juvix
@@ -0,0 +1,5 @@
+module Package;
+
+import PackageDescription.V2 open;
+
+package : Package := defaultPackage {name := "issue2429"};