Mercurial > urweb

comparison tests/jsinj.ur @ 592:a8be5a2068a5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Injecting strings and bools
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Jan 2009 16:11:42 -0500
parents 8f8771f32909
children f277f5faebcd
comparison
equal deleted inserted replaced
591:8f8771f32909 592:a8be5a2068a5
3 None => v 3 None => v
4 | Some x => x 4 | Some x => x
5 5
6 cookie int : int 6 cookie int : int
7 cookie float : float 7 cookie float : float
8 cookie string : string
9 cookie bool : bool
8 10
9 fun main () : transaction page = 11 fun main () : transaction page =
10 n <- getCookie int; 12 n <- getCookie int;
11 n <- return (getOpt n 7); 13 n <- return (getOpt n 7);
12 sn <- source 6; 14 sn <- source 6;
13 15
14 f <- getCookie float; 16 f <- getCookie float;
15 f <- return (getOpt f 1.23); 17 f <- return (getOpt f 1.23);
16 sf <- source 4.56; 18 sf <- source 4.56;
17 19
20 s <- getCookie string;
21 s <- return (getOpt s "Hi");
22 ss <- source "Bye";
23
24 b <- getCookie bool;
25 b <- return (getOpt b True);
26 sb <- source False;
27
18 return <xml><body> 28 return <xml><body>
19 <dyn signal={n <- signal sn; return <xml>{[n]}</xml>}/> 29 <dyn signal={n <- signal sn; return <xml>{[n]}</xml>}/>
20 <a onclick={set sn n}>CHANGE</a><br/> 30 <a onclick={set sn n}>CHANGE</a><br/>
21 31
22 <dyn signal={f <- signal sf; return <xml>{[f]}</xml>}/> 32 <dyn signal={f <- signal sf; return <xml>{[f]}</xml>}/>
23 <a onclick={set sf f}>CHANGE</a><br/> 33 <a onclick={set sf f}>CHANGE</a><br/>
34
35 <dyn signal={s <- signal ss; return <xml>{[s]}</xml>}/>
36 <a onclick={set ss s}>CHANGE</a><br/>
37
38 <dyn signal={b <- signal sb; return <xml>{[b]}</xml>}/>
39 <a onclick={set sb b}>CHANGE</a><br/>
24 </body></xml> 40 </body></xml>