view tests/rform.ur @ 1939:c52365a4ce41

No need to ROLLBACK after a failed COMMIT
author Adam Chlipala <adam@chlipala.net>
date Wed, 25 Dec 2013 11:43:41 -0500
parents 4c2c740c6931
children
line wrap: on
line source
fun main () : transaction page =
    s <- source "Hi";
    return <xml><body>
      <form>
        <textbox{#A} source={s}/>
      </form>
      <a onclick={set s "NEW AND DIFFERENT"}>Change it up!</a><br/>
      <br/>
      Latest: <dyn signal={s <- signal s; return (cdata s)}/>
    </body></xml>