diff tests/getenv.ur @ 1994:94529780bbcf

getenv calls UNIX getenv() when no special alternative is set
author Adam Chlipala <adam@chlipala.net>
date Fri, 07 Mar 2014 11:50:45 -0500
parents 3d1d44111906
children
line wrap: on
line diff
--- a/tests/getenv.ur	Tue Mar 04 08:46:33 2014 -0500
+++ b/tests/getenv.ur	Fri Mar 07 11:50:45 2014 -0500
@@ -1,3 +1,5 @@
 task initialize = fn _ =>
   v <- getenv (blessEnvVar "USER");
-  return {}
+  case v of
+      None => debug "No USER"
+    | Some u => debug u