From da6b21a5706fcc1e1a1d34206070c0672aa702e3 Mon Sep 17 00:00:00 2001
From: Jacob Walters <prog@jacobwalte.rs>
Date: Fri, 15 Mar 2024 22:51:49 +0000
Subject: [PATCH] [ test ] More comprehensive test for getVis

---
 tests/idris2/reflection/reflection028/GetVis.idr | 9 +++++++++
 tests/idris2/reflection/reflection028/expected   | 1 +
 tests/idris2/reflection/reflection028/input      | 1 +
 3 files changed, 11 insertions(+)

diff --git a/tests/idris2/reflection/reflection028/GetVis.idr b/tests/idris2/reflection/reflection028/GetVis.idr
index 812df355b7..cd39212781 100644
--- 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
index 47e727a7d7..f8cf9ac86b 100644
--- 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
index 00a5a3ddec..9a05fb5bbe 100644
--- 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