From 1778984fb4fa94458431316c03b12ec5fb49c677 Mon Sep 17 00:00:00 2001 From: Mathew Polzin Date: Wed, 3 Jul 2024 11:13:37 -0500 Subject: [PATCH] Add test that touches the new implementation of environ --- tests/base/system_get_environment/Test.idr | 8 ++++++++ tests/base/system_get_environment/expected | 1 + tests/base/system_get_environment/run | 4 ++++ 3 files changed, 13 insertions(+) create mode 100644 tests/base/system_get_environment/Test.idr create mode 100644 tests/base/system_get_environment/expected create mode 100755 tests/base/system_get_environment/run diff --git a/tests/base/system_get_environment/Test.idr b/tests/base/system_get_environment/Test.idr new file mode 100644 index 0000000000..9356682fa1 --- /dev/null +++ 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 new file mode 100644 index 0000000000..bc59c12aa1 --- /dev/null +++ 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 new file mode 100755 index 0000000000..e596e28bb8 --- /dev/null +++ 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