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 +- lib/ur/basis.urs | 2 + lib/ur/list.ur | 7 + lib/ur/list.urs | 5 + src/core.sml | 2 +- src/core_print.sml | 16 +- src/core_util.sml | 12 +- src/effectize.sml | 4 +- src/monoize.sml | 5 +- src/reduce.sml | 103 +++++++++++- src/reduce_local.sml | 2 +- src/rpcify.sml | 433 +++++++-------------------------------------------- src/shake.sml | 2 +- 18 files changed, 207 insertions(+), 411 deletions(-) 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 -