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/noisy.ur | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'demo/noisy.ur') 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