From 26eeffeaee9f015cc95430da2f5308ce585a194d Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 25 Mar 2010 15:44:24 -0400
Subject: Subquery expressions

---
 tests/subquery.ur | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 tests/subquery.ur

(limited to 'tests/subquery.ur')

diff --git a/tests/subquery.ur b/tests/subquery.ur
new file mode 100644
index 00000000..302175e5
--- /dev/null
+++ b/tests/subquery.ur
@@ -0,0 +1,10 @@
+table t : { A : int, B : int, C : int }
+
+fun main () =
+    v <- queryX1 (SELECT t.A, t.C
+                  FROM t
+                  WHERE t.B = (SELECT MAX(U.B) AS M
+                               FROM t AS U
+                               WHERE U.A = t.A))
+         (fn r => <xml>{[r.A]},{[r.C]};</xml>);
+    return <xml>{v}</xml>
-- 
cgit v1.2.3