Mercurial > urweb

annotate tests/rform.ur @ 1576:f6c74b4bc4e6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change error message display order: only show disjointness/type class failures if all record unifications succeeded
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Oct 2011 10:31:30 -0400
parents 4c2c740c6931
children
rev   line source
adamc@598 1 fun main () : transaction page =
adamc@598 2 s <- source "Hi";
adamc@598 3 return <xml><body>
adamc@598 4 <form>
adamc@598 5 <textbox{#A} source={s}/>
adamc@598 6 </form>
adamc@598 7 <a onclick={set s "NEW AND DIFFERENT"}>Change it up!</a><br/>
adamc@598 8 <br/>
adamc@598 9 Latest: <dyn signal={s <- signal s; return (cdata s)}/>
adamc@598 10 </body></xml>