diff tests/env.ur @ 1799:3d922a28370b

Basis.getenv
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Aug 2012 16:33:25 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/env.ur	Thu Aug 02 16:33:25 2012 -0400
@@ -0,0 +1,21 @@
+fun handler r =
+  vo <- getenv (blessEnvVar r.Nam);
+  return <xml><body>
+  {case vo of
+       None => <xml>Not set</xml>
+     | Some v => <xml>Set to: {[v]}</xml>}
+</body></xml>
+
+fun main () : transaction page =
+  term <- getenv (blessEnvVar "TERM");
+  return <xml><body>
+    TERM = {case term of
+                None => <xml>Nada</xml>
+              | Some v => txt v}
+                 
+    <form>
+      What would you like to know?
+      <textbox{#Nam}/>
+      <submit action={handler}/>
+    </form>
+  </body></xml>