view tests/env.ur @ 2170:a86749aef6eb

New release
author Adam Chlipala <adam@chlipala.net>
date Wed, 19 Aug 2015 10:32:11 -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>