# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1383598848 18000
# Node ID 2e6795cc992fd7eb9ca21c6700ba02bc0c84ec6f
# Parent  b7cd3c7c7edda7ff315b773f9b14df7a86e05a77
A fancier test for the new SQL constraints subtyping

diff -r b7cd3c7c7edd -r 2e6795cc992f tests/consub.ur
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/consub.ur	Mon Nov 04 16:00:48 2013 -0500
@@ -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)