Mercurial > urweb
view tests/rpcDE.ur @ 1272:56bd4a4f6e66
Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 03 Jun 2010 13:04:37 -0400 |
parents | 3ee6bb48f6e8 |
children |
line wrap: on
line source
datatype result = Neg | Zero | Pos table t : {A : int} fun main () : transaction page = let fun check () = r <- oneRow (SELECT SUM(t.A) AS X FROM t); return (if r.X < 0 then Neg else if r.X = 0 then Zero else Pos) fun show r = case r of Neg => <xml>-</xml> | Zero => <xml>0</xml> | Pos => <xml>+</xml> in s <- source Zero; return <xml><body> <button value="Get It On!" onclick={r <- check (); set s r}/><br/> <br/> Current: <dyn signal={r <- signal s; return (show r)}/> </body></xml> end