Mercurial > urweb
view tests/subquery.ur @ 1736:7ec8dab190a7
Better discovery of type class instances from recursive definitions
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 02 May 2012 08:34:50 -0400 |
parents | 9c82548c97e9 |
children |
line wrap: on
line source
table t : { A : int, B : int, C : int } fun main () = v <- queryX1 (SELECT t.A, t.C FROM t WHERE t.B = (SELECT MAX(U.B) AS M FROM t AS U WHERE U.A = t.A)) (fn r => <xml>{[r.A]},{[r.C]};</xml>); v' <- queryX1 (SELECT t.A, t.C FROM (SELECT t.A AS A, MAX(t.B) AS B FROM t GROUP BY t.A) AS Maxes JOIN t ON t.A = Maxes.A AND t.B = Maxes.B) (fn r => <xml>{[r.A]},{[r.C]};</xml>); return <xml><body> {v}<br/> {v'} </body></xml>