summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tests/consub.ur16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/consub.ur b/tests/consub.ur
new file mode 100644
index 00000000..4656e335
--- /dev/null
+++ b/tests/consub.ur
@@ -0,0 +1,16 @@
+functor F(M : sig
+ table t : { A : int, B : int }
+ PRIMARY KEY A
+ end) = struct
+ open M
+
+ fun getByA a = oneRow1 (SELECT * FROM t WHERE t.A = {[a]})
+end
+
+table u : { A : int, B : int }
+ PRIMARY KEY A,
+ CONSTRAINT B UNIQUE B
+
+open F(struct
+ val t = u
+ end)