Mercurial > urweb

view tests/env.ur @ 2184:1ecef02f67c5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More Elaborate work to avoid instantiating unification variables with out-of-scope regular variables
author Adam Chlipala <adam@chlipala.net>
date Sat, 24 Oct 2015 17:23:07 -0400
parents 3d922a28370b
children
line wrap: on
line source
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>