diff demo/ref.ur @ 434:c471345f5165

Remove need for '() <-' notation
author Adam Chlipala <adamc@hcoop.net>
date Mon, 27 Oct 2008 08:27:45 -0400
parents cb5897276abf
children b393c2fc80f8
line wrap: on
line diff
--- a/demo/ref.ur	Mon Oct 27 08:16:19 2008 -0400
+++ b/demo/ref.ur	Mon Oct 27 08:27:45 2008 -0400
@@ -13,15 +13,15 @@
     ir' <- IR.new 7;
     sr <- SR.new "hi";
 
-    () <- IR.write ir' 10;
+    IR.write ir' 10;
 
     iv <- IR.read ir;
     iv' <- IR.read ir';
     sv <- SR.read sr;
 
-    () <- IR.delete ir;
-    () <- IR.delete ir';
-    () <- SR.delete sr;
+    IR.delete ir;
+    IR.delete ir';
+    SR.delete sr;
 
     return <xml><body>
       {[iv]}, {[iv']}, {[sv]}