Mercurial > urweb
annotate 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 |
rev | line source |
---|---|
adamc@590 | 1 fun getOpt (t ::: Type) (o : option t) (v : t) : t = |
adamc@590 | 2 case o of |
adamc@590 | 3 None => v |
adamc@590 | 4 | Some x => x |
adamc@590 | 5 |
adamc@591 | 6 cookie int : int |
adamc@591 | 7 cookie float : float |
adamc@591 | 8 |
adamc@590 | 9 fun main () : transaction page = |
adamc@590 | 10 n <- getCookie int; |
adamc@591 | 11 n <- return (getOpt n 7); |
adamc@591 | 12 sn <- source 6; |
adamc@591 | 13 |
adamc@591 | 14 f <- getCookie float; |
adamc@591 | 15 f <- return (getOpt f 1.23); |
adamc@591 | 16 sf <- source 4.56; |
adamc@591 | 17 |
adamc@590 | 18 return <xml><body> |
adamc@590 | 19 <dyn signal={n <- signal sn; return <xml>{[n]}</xml>}/> |
adamc@591 | 20 <a onclick={set sn n}>CHANGE</a><br/> |
adamc@591 | 21 |
adamc@591 | 22 <dyn signal={f <- signal sf; return <xml>{[f]}</xml>}/> |
adamc@591 | 23 <a onclick={set sf f}>CHANGE</a><br/> |
adamc@590 | 24 </body></xml> |