Ur/Web: tests/jsinj.ur annotate

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>

Mercurial > urweb