view tests/rform.ur @ 1657:2b7d3d99dc42

Prevent unifications of 'others' pieces in record summaries, when both pieces contain unification variables (to prevent undesired unifications)
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Jan 2012 17:10:43 -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>