diff demo/ref.ur @ 419:cb5897276abf

Fix bug with bringing functor argument instances into scope; Ref demo, minus prose
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Oct 2008 17:35:10 -0400
parents
children c471345f5165
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/demo/ref.ur	Thu Oct 23 17:35:10 2008 -0400
@@ -0,0 +1,28 @@
+structure IR = RefFun.Make(struct
+                               type t = int
+                               val inj = _
+                           end)
+
+structure SR = RefFun.Make(struct
+                               type t = string
+                               val inj = _
+                           end)
+
+fun main () =
+    ir <- IR.new 3;
+    ir' <- IR.new 7;
+    sr <- SR.new "hi";
+
+    () <- 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;
+
+    return <xml><body>
+      {[iv]}, {[iv']}, {[sv]}
+    </body></xml>