diff tests/fitem.ur @ 1265:e8d68fd8ed4b

Consider view declarations while shaking
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 May 2010 15:10:52 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/fitem.ur	Thu May 27 15:10:52 2010 -0400
@@ -0,0 +1,6 @@
+table t : { A : int, B : string }
+table u : { A : int, C : float }
+
+val q : sql_query [] [T = [A = int, B = string], U = [C = option float]] [] =
+    (SELECT t.A, t.B, u.C
+     FROM {{sql_left_join (FROM t) (FROM u) (WHERE TRUE)}})