view tests/rform.ur @ 2248:e09c3dc102ef

Rewrite effectfulness analysis using MonoUtil.
author Ziv Scully <ziv@mit.edu>
date Sat, 15 Aug 2015 23:08:37 -0700
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>