diff --git a/test/Scope/Positive.hs b/test/Scope/Positive.hs index 643d33c49b..ff2547b9d8 100644 --- 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 new file mode 100644 index 0000000000..925da8355d --- /dev/null +++ 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 new file mode 100644 index 0000000000..8bbfdea86d --- /dev/null +++ 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 new file mode 100644 index 0000000000..11301b54c6 --- /dev/null +++ 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 new file mode 100644 index 0000000000..97e4f6dcb0 --- /dev/null +++ b/tests/positive/issue2429/Package.juvix @@ -0,0 +1,5 @@ +module Package; + +import PackageDescription.V2 open; + +package : Package := defaultPackage {name := "issue2429"};