From f79732bbf16467ecf40c6068bac93502aa49e9d2 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 22 Aug 2009 12:55:18 -0400 Subject: Convert to requiring explicit 'rpc' marker --- demo/batch.ur | 7 ++++--- demo/batchFun.ur | 6 +++--- demo/chat.ur | 2 +- demo/increment.ur | 2 +- demo/noisy.ur | 6 +++--- demo/roundTrip.ur | 2 +- 6 files changed, 13 insertions(+), 12 deletions(-) (limited to 'demo') diff --git a/demo/batch.ur b/demo/batch.ur index 4100749f..8213dd81 100644 --- a/demo/batch.ur +++ b/demo/batch.ur @@ -25,7 +25,8 @@ fun show withDel lss = Nil => | Cons ((id, a), ls) => {[id]} {[a]} {if withDel then -

Batch new rows to add

Batch new rows to add

{[r.T.Title]}