A fancier test for the new SQL constraints subtyping

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)