[ test ] More comprehensive test for getVis

idris-lang · Mar 15, 2024 · da6b21a · da6b21a
1 parent 18b165b
commit da6b21a
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 0 deletions.
diff --git a/tests/idris2/reflection/reflection028/GetVis.idr b/tests/idris2/reflection/reflection028/GetVis.idr
@@ -5,3 +5,12 @@ import Language.Reflection
 private fooPriv : Int
 export fooExp : Int
 public export fooPubExp : Int
+
+namespace A
+  private foo : Int
+
+namespace B
+  export foo : Int
+
+namespace C
+  public export foo : Int
diff --git a/tests/idris2/reflection/reflection028/expected b/tests/idris2/reflection/reflection028/expected
@@ -2,4 +2,5 @@
 GetVis> GetVis> [(NS (MkNS ["GetVis"]) (UN (Basic "fooPriv")), Private)]
 GetVis> [(NS (MkNS ["GetVis"]) (UN (Basic "fooExp")), Export)]
 GetVis> [(NS (MkNS ["GetVis"]) (UN (Basic "fooPubExp")), Public)]
+GetVis> [(NS (MkNS ["A", "GetVis"]) (UN (Basic "foo")), Private), (NS (MkNS ["B", "GetVis"]) (UN (Basic "foo")), Export), (NS (MkNS ["C", "GetVis"]) (UN (Basic "foo")), Public)]
 GetVis> Bye for now!
diff --git a/tests/idris2/reflection/reflection028/input b/tests/idris2/reflection/reflection028/input
@@ -2,4 +2,5 @@
 %runElab getVis `{fooPriv}
 %runElab getVis `{fooExp}
 %runElab getVis `{fooPubExp}
+%runElab getVis `{foo}
 :q