summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-03-07 11:50:45 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-03-07 11:50:45 -0500
commit2e3db71b6717f477ac24c4baa4fba1885cc55dad (patch)
treeed7e0ea4255dd3b12dc11a1e1d56747a7e33319c /tests
parent5b61100181d61708ad6c1047bd96cecf43630004 (diff)
getenv calls UNIX getenv() when no special alternative is set
Diffstat (limited to 'tests')
-rw-r--r--tests/getenv.ur4
1 files changed, 3 insertions, 1 deletions
diff --git a/tests/getenv.ur b/tests/getenv.ur
index 42f48096..a71a2822 100644
--- a/tests/getenv.ur
+++ b/tests/getenv.ur
@@ -1,3 +1,5 @@
task initialize = fn _ =>
v <- getenv (blessEnvVar "USER");
- return {}
+ case v of
+ None => debug "No USER"
+ | Some u => debug u