From 6f28076613c975e382014cbcb074cbaa22fdf3e3 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 2 Jun 2012 16:00:50 -0400 Subject: Compiled a window function use --- tests/window.ur | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 tests/window.ur (limited to 'tests/window.ur') diff --git a/tests/window.ur b/tests/window.ur new file mode 100644 index 00000000..fd93679c --- /dev/null +++ b/tests/window.ur @@ -0,0 +1,11 @@ +table empsalary : { Depname : string, + Empno : int, + Salary : int } + +fun main () : transaction page = + x <- queryX (SELECT empsalary.Depname, empsalary.Empno, empsalary.Salary, RANK() AS R + FROM empsalary) + (fn r => {[r.Empsalary.Depname]}, {[r.Empsalary.Empno]}, {[r.Empsalary.Salary]}, {[r.R]}
); + return + {x} + -- cgit v1.2.3