From 0091af30d2d24940404e49b30a6d0e2a0e4ba4e7 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 27 May 2010 15:10:52 -0400 Subject: Consider view declarations while shaking --- tests/fitem.ur | 6 ++++++ tests/fitem.urp | 1 + 2 files changed, 7 insertions(+) create mode 100644 tests/fitem.ur create mode 100644 tests/fitem.urp (limited to 'tests') diff --git a/tests/fitem.ur b/tests/fitem.ur new file mode 100644 index 00000000..282146c4 --- /dev/null +++ b/tests/fitem.ur @@ -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)}}) diff --git a/tests/fitem.urp b/tests/fitem.urp new file mode 100644 index 00000000..61d7a37b --- /dev/null +++ b/tests/fitem.urp @@ -0,0 +1 @@ +fitem -- cgit v1.2.3