Mercurial > urweb

annotate tests/tbody.ur @ 1181:618f9f458da9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Got split1 working, but noticed a nasty type inference bug with transplanted unification variables
author Adam Chlipala <adamc@hcoop.net>
date Sat, 06 Mar 2010 19:14:48 -0500
parents 0f7e2cca6d9b
children
rev   line source
adamc@847 1 fun main () : transaction page =
adamc@847 2 s <- source [];
adamc@847 3 entry <- source "";
adamc@847 4 return <xml><body>
adamc@847 5 <table>
adamc@847 6 <dyn signal={s <- signal s;
adamc@847 7 return (List.mapX (fn s => <xml><tr><td>{[s]}</td></tr></xml>) s)}/>
adamc@847 8 </table>
adamc@847 9
adamc@847 10 Add one: <ctextbox source={entry}/> <button onclick={e <- get entry;
adamc@847 11 v <- get s;
adamc@847 12 set s (e :: v)}/>
adamc@847 13 </body></xml>