annotate tests/rform.ur @ 1174:9df124fcab3d

String.isPrefix
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Mar 2010 09:46:17 -0500
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>