diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-08-22 12:55:18 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-08-22 12:55:18 -0400 |
commit | 3a3efad7e3706ecdeabffadbe9a5631c30af2da0 (patch) | |
tree | 1d7e3ef3f5bbca99b53ac3ee3b66d934c22f1d0d /demo/noisy.ur | |
parent | 0014d8534ad3c3bbed2b02b62843eb62169f04b5 (diff) |
Convert to requiring explicit 'rpc' marker
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 708cfa2c..068e2ec1 100644 --- a/demo/noisy.ur +++ b/demo/noisy.ur @@ -19,7 +19,7 @@ fun check ls = case ls of Nil => return () | Cons (id, ls') => - ao <- lookup id; + ao <- rpc (lookup id); alert (case ao of None => "Nada" | Some a => a); @@ -34,10 +34,10 @@ fun main () = return <xml><body> <button value="Check values of 1, 2, and 3" onclick={check (Cons (1, Cons (2, Cons (3, Nil))))}/><br/> <br/> - <button value="Add" onclick={id <- get idAdd; a <- get aAdd; add (readError id) a}/> + <button value="Add" onclick={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; del (readError id)}/> + <button value="Delete" onclick={id <- get idDel; rpc (del (readError id))}/> <ctextbox source={idDel}/> </body></xml> |