annotate tests/window.ur @ 1861:52043ad66ce7
Extend Especialize rule: find maximal argument prefixes that end in 1 or more arguments with functional types
author |
Adam Chlipala <adam@chlipala.net> |
date |
Fri, 09 Aug 2013 16:04:16 -0400 |
parents |
818d4097e2ed |
children |
|
rev |
line source |
adam@1776
|
1 table empsalary : { Depname : string,
|
adam@1778
|
2 Empno : int,
|
adam@1778
|
3 Salary : int }
|
adam@1776
|
4
|
adam@1776
|
5 fun main () : transaction page =
|
adam@1777
|
6 x <- queryX (SELECT empsalary.Depname, empsalary.Empno, empsalary.Salary,
|
adam@1777
|
7 RANK() OVER (PARTITION BY empsalary.Depname ORDER BY empsalary.Salary DESC) AS R,
|
adam@1777
|
8 AVG(empsalary.Salary) OVER (PARTITION BY empsalary.Depname) AS A
|
adam@1776
|
9 FROM empsalary)
|
adam@1777
|
10 (fn r => <xml>{[r.Empsalary.Depname]}, {[r.Empsalary.Empno]}, {[r.Empsalary.Salary]}, {[r.R]}, {[r.A]}<br/></xml>);
|
adam@1776
|
11 return <xml><body>
|
adam@1776
|
12 {x}
|
adam@1776
|
13 </body></xml>
|