Mercurial > urweb
diff tests/jsinj.ur @ 591:8f8771f32909
Injecting a float
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 01 Jan 2009 15:59:02 -0500 |
parents | 57f476c934da |
children | a8be5a2068a5 |
line wrap: on
line diff
--- a/tests/jsinj.ur Thu Jan 01 15:11:17 2009 -0500 +++ b/tests/jsinj.ur Thu Jan 01 15:59:02 2009 -0500 @@ -1,14 +1,24 @@ -cookie int : int - fun getOpt (t ::: Type) (o : option t) (v : t) : t = case o of None => v | Some x => x +cookie int : int +cookie float : float + fun main () : transaction page = n <- getCookie int; - sn <- source (getOpt n 7); + n <- return (getOpt n 7); + sn <- source 6; + + f <- getCookie float; + f <- return (getOpt f 1.23); + sf <- source 4.56; + return <xml><body> <dyn signal={n <- signal sn; return <xml>{[n]}</xml>}/> - <a onclick={set sn 6}>CHANGE</a> + <a onclick={set sn n}>CHANGE</a><br/> + + <dyn signal={f <- signal sf; return <xml>{[f]}</xml>}/> + <a onclick={set sf f}>CHANGE</a><br/> </body></xml>