From da7b52ba28367cf2b31476e77e1a26e53e4765e4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 23 Oct 2008 17:35:10 -0400
Subject: Fix bug with bringing functor argument instances into scope; Ref
 demo, minus prose

---
 demo/refFun.ur | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 demo/refFun.ur

(limited to 'demo/refFun.ur')

diff --git a/demo/refFun.ur b/demo/refFun.ur
new file mode 100644
index 00000000..d58acee5
--- /dev/null
+++ b/demo/refFun.ur
@@ -0,0 +1,27 @@
+functor Make(M : sig
+                 type data
+                 val inj : sql_injectable data
+             end) = struct
+
+    type ref = int
+
+    sequence s
+    table t : { Id : int, Data : M.data }
+
+    fun new d =
+        id <- nextval s;
+        () <- dml (INSERT INTO t (Id, Data) VALUES ({id}, {d}));
+        return id
+
+    fun read r =
+        o <- oneOrNoRows (SELECT t.Data FROM t WHERE t.Id = {r});
+        return (case o of
+            None => error <xml>You already deleted that ref!</xml>
+          | Some r => r.T.Data)
+
+    fun write r d =
+        dml (UPDATE t SET Data = {d} WHERE Id = {r})
+
+    fun delete r =
+        dml (DELETE FROM t WHERE Id = {r})
+end
-- 
cgit v1.2.3