Ur/Web: tests/tbody.ur annotate

Filters implementation type-checking

author	Adam Chlipala <adamc@hcoop.net>
date	Tue, 15 Sep 2009 15:48:53 -0400
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>

Mercurial > urweb