view tests/subquery.ur @ 2190:22117edf8fd3

After a tricky debugging session, limit visibility of type-class instances from anonymous modules
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Nov 2015 16:33:14 -0500
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>