view tests/env.ur @ 2097:9272476e2a1c

Client-side conversion of string to bool
author Adam Chlipala <adam@chlipala.net>
date Thu, 25 Dec 2014 18:32:27 -0500
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>