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 | 3c3d83d5584da288a2abd22a60ccd3f749a4c4f2 (patch) | |
| tree | ed7e0ea4255dd3b12dc11a1e1d56747a7e33319c /tests/getenv.ur | |
| parent | 3d78dc9a8f37fa1361132a0682d7c6f574cf6c4a (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 |