comparison demo/noisy.ur @ 1784:e6bc6bbd7a32

Update demo code for key/mouse handler change
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 10:12:35 -0400
parents ed06e25c70ef
children
comparison
equal deleted inserted replaced
1783:5bc4fbf9c0fe 1784:e6bc6bbd7a32
30 aAdd <- source ""; 30 aAdd <- source "";
31 31
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={fn _ => check (Cons (1, Cons (2, Cons (3, Nil))))}/><br/>
36 <br/> 36 <br/>
37 <button value="Add" onclick={id <- get idAdd; a <- get aAdd; rpc (add (readError id) a)}/> 37 <button value="Add" onclick={fn _ => 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; rpc (del (readError id))}/> 41 <button value="Delete" onclick={fn _ => id <- get idDel; rpc (del (readError id))}/>
42 <ctextbox source={idDel}/> 42 <ctextbox source={idDel}/>
43 </body></xml> 43 </body></xml>