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 | f79732bbf16467ecf40c6068bac93502aa49e9d2 (patch) | |
| tree | 1d7e3ef3f5bbca99b53ac3ee3b66d934c22f1d0d /demo/noisy.ur | |
| parent | 28f2c29dd98659f00e4d7bc3147c2fc2e5320f34 (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> |