diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-03-07 11:50:45 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-03-07 11:50:45 -0500 |
| commit | 2e3db71b6717f477ac24c4baa4fba1885cc55dad (patch) | |
| tree | ed7e0ea4255dd3b12dc11a1e1d56747a7e33319c /tests/getenv.ur | |
| parent | 5b61100181d61708ad6c1047bd96cecf43630004 (diff) | |
getenv calls UNIX getenv() when no special alternative is set
Diffstat (limited to 'tests/getenv.ur')
| -rw-r--r-- | tests/getenv.ur | 4 |
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 |