From f5270e233dd2d09e00715873c85a91647bc25edd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 3 Dec 2011 17:07:34 -0500
Subject: New 't.*' notation for SELECT

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

(limited to 'tests/selclause.ur')

diff --git a/tests/selclause.ur b/tests/selclause.ur
new file mode 100644
index 00000000..484c1ebc
--- /dev/null
+++ b/tests/selclause.ur
@@ -0,0 +1,6 @@
+table t : { A : int, B : string, C : float }
+table u : { D : int, E : string, F : float }
+
+val q : transaction (list {T : { A : int, B : string, C : float}, U : { D : int }, X : string }) =
+    queryL (SELECT t.*, u.D, 'hi' AS X
+            FROM t, u)
-- 
cgit v1.2.3