view tests/rform.ur @ 1554:396e8d881205

Better detection of type class witnesses in local bindings
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Sep 2011 08:57:13 -0400
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>