Mercurial > urweb

comparison demo/noisy.ur @ 908:ed06e25c70ef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Convert to requiring explicit 'rpc' marker
author Adam Chlipala <adamc@hcoop.net>
date Sat, 22 Aug 2009 12:55:18 -0400
parents a44daa674810
children e6bc6bbd7a32
comparison
equal deleted inserted replaced
907:5fe49effbc83 908:ed06e25c70ef
17 17
18 fun check ls = 18 fun check ls =
19 case ls of 19 case ls of
20 Nil => return () 20 Nil => return ()
21 | Cons (id, ls') => 21 | Cons (id, ls') =>
22 ao <- lookup id; 22 ao <- rpc (lookup id);
23 alert (case ao of 23 alert (case ao of
24 None => "Nada" 24 None => "Nada"
25 | Some a => a); 25 | Some a => a);
26 check ls' 26 check ls'
27 27
32 idDel <- source ""; 32 idDel <- source "";
33 33
34 return <xml><body> 34 return <xml><body>
35 <button value="Check values of 1, 2, and 3" onclick={check (Cons (1, Cons (2, Cons (3, Nil))))}/><br/> 35 <button value="Check values of 1, 2, and 3" onclick={check (Cons (1, Cons (2, Cons (3, Nil))))}/><br/>
36 <br/> 36 <br/>
37 <button value="Add" onclick={id <- get idAdd; a <- get aAdd; add (readError id) a}/> 37 <button value="Add" onclick={id <- get idAdd; a <- get aAdd; rpc (add (readError id) a)}/>
38 <ctextbox source={idAdd}/> 38 <ctextbox source={idAdd}/>
39 <ctextbox source={aAdd}/><br/> 39 <ctextbox source={aAdd}/><br/>
40 <br/> 40 <br/>
41 <button value="Delete" onclick={id <- get idDel; del (readError id)}/> 41 <button value="Delete" onclick={id <- get idDel; rpc (del (readError id))}/>
42 <ctextbox source={idDel}/> 42 <ctextbox source={idDel}/>
43 </body></xml> 43 </body></xml>