Add test that touches the new implementation of environ

idris-lang · Jul 3, 2024 · 1778984 · 1778984
1 parent 8096a62
commit 1778984
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 0 deletions.
diff --git a/tests/base/system_get_environment/Test.idr b/tests/base/system_get_environment/Test.idr
@@ -0,0 +1,8 @@
+import System
+
+main : IO ()
+main = do
+  env <- getEnvironment
+  -- it better be non-empty because we set a variable before starting this test
+  printLn $ null env
+
diff --git a/tests/base/system_get_environment/expected b/tests/base/system_get_environment/expected
@@ -0,0 +1 @@
+False
diff --git a/tests/base/system_get_environment/run b/tests/base/system_get_environment/run
@@ -0,0 +1,4 @@
+. ../../testutils.sh
+
+idris2 --cg chez -o test Test.idr
+HELLO=hi ./build/exec/test