diff options
author | Adam Chlipala <adam@chlipala.net> | 2012-07-21 10:12:35 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2012-07-21 10:12:35 -0400 |
commit | 84a14ca026a8ca7ed4488e51506340b249809fae (patch) | |
tree | 69937e8dd046f5e3b3ea38f66061cdc8310351bc /demo/noisy.ur | |
parent | adfa70ae09d13b338efee432b1e0bfc73af5e104 (diff) |
Update demo code for key/mouse handler change
Diffstat (limited to 'demo/noisy.ur')
-rw-r--r-- | demo/noisy.ur | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/demo/noisy.ur b/demo/noisy.ur index 068e2ec1..caf5240c 100644 --- a/demo/noisy.ur +++ b/demo/noisy.ur @@ -32,12 +32,12 @@ fun main () = idDel <- source ""; return <xml><body> - <button value="Check values of 1, 2, and 3" onclick={check (Cons (1, Cons (2, Cons (3, Nil))))}/><br/> + <button value="Check values of 1, 2, and 3" onclick={fn _ => check (Cons (1, Cons (2, Cons (3, Nil))))}/><br/> <br/> - <button value="Add" onclick={id <- get idAdd; a <- get aAdd; rpc (add (readError id) a)}/> + <button value="Add" onclick={fn _ => id <- get idAdd; a <- get aAdd; rpc (add (readError id) a)}/> <ctextbox source={idAdd}/> <ctextbox source={aAdd}/><br/> <br/> - <button value="Delete" onclick={id <- get idDel; rpc (del (readError id))}/> + <button value="Delete" onclick={fn _ => id <- get idDel; rpc (del (readError id))}/> <ctextbox source={idDel}/> </body></xml> |