1 files changed, 28 insertions, 0 deletions
diff --git a/demo/ref.ur b/demo/ref.ur
new file mode 100644
index 00000000..089529e3
--- /dev/null
+++ b/demo/ref.ur
@@ -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>