Mercurial > urweb
view tests/rpcDO.ur @ 1802:e3ec868567ce
Undo change to script evaluation, originally made to support <active> + 'giveFocus'; alternate approach to making 'giveFocus' work in dynamic code generatione
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 03 Aug 2012 08:38:47 -0400 |
parents | 9da62680adc5 |
children |
line wrap: on
line source
datatype list t = Nil | Cons of t * list t table t : {A : int} fun main () : transaction page = let fun rows () = query (SELECT * FROM t) (fn r ls => return (Cons (r.T.A, ls))) Nil fun show ls = case ls of Nil => <xml/> | Cons (x, ls') => <xml>{[x]}<br/>{show ls'}</xml> in s <- source Nil; return <xml><body> <button value="Get It On!" onclick={ls <- rows (); set s ls}/><br/> <br/> Current: <dyn signal={ls <- signal s; return (show ls)}/> </body></xml> end