From 42a061b9b6c6c8fc1ab4aec83067f9bcb5f4fd9e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 9 Dec 2008 14:41:19 -0500 Subject: Add SQL arithmetic operators --- tests/sql_ops.ur | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 tests/sql_ops.ur (limited to 'tests/sql_ops.ur') diff --git a/tests/sql_ops.ur b/tests/sql_ops.ur new file mode 100644 index 00000000..34e78775 --- /dev/null +++ b/tests/sql_ops.ur @@ -0,0 +1,8 @@ +table t : { A : int, B : float } + +val q = (SELECT t.A + t.A AS X, t.B * t.B AS Y FROM t) + +fun main () : transaction page = + xml <- queryX q (fn r => {[r.X]}, {[r.Y]}
); + return {xml} + -- cgit v1.2.3