diff demo/batchFun.ur @ 908:ed06e25c70ef

Convert to requiring explicit 'rpc' marker
author Adam Chlipala <adamc@hcoop.net>
date Sat, 22 Aug 2009 12:55:18 -0400
parents 74e9e7642f08
children bb3fc575cfe7
line wrap: on
line diff
--- a/demo/batchFun.ur	Tue Aug 11 12:01:54 2009 -0400
+++ b/demo/batchFun.ur	Sat Aug 22 12:55:18 2009 -0400
@@ -78,7 +78,7 @@
                                    <xml><td>{m.Show v}</td></xml>)
                                [M.cols] M.fl M.cols (r -- #Id)}
                       {if withDel then
-                           <xml><td><button value="Delete" onclick={del r.Id}/></td></xml>
+                           <xml><td><button value="Delete" onclick={rpc (del r.Id)}/></td></xml>
                        else
                            <xml/>}
                     </tr>
@@ -129,7 +129,7 @@
             fun exec () =
                 ls <- get batched;
 
-                doBatch ls;
+                rpc (doBatch ls);
                 set batched Nil
         in
             return <xml><body>
@@ -137,7 +137,7 @@
 
               {show True lss}
 
-              <button value="Update" onclick={ls <- allRows (); set lss ls}/><br/>
+              <button value="Update" onclick={ls <- rpc (allRows ()); set lss ls}/><br/>
               <br/>
 
               <h2>Batch new rows to add</h2>