From 2e3db71b6717f477ac24c4baa4fba1885cc55dad Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 7 Mar 2014 11:50:45 -0500
Subject: getenv calls UNIX getenv() when no special alternative is set

---
 tests/getenv.ur | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'tests/getenv.ur')

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
-- 
cgit v1.2.3