comparison tests/order_by.ur @ 268:bacd0ba869e1

Monoize ASC/DESC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 16:54:13 -0400
parents ee51e9d35c9b
children
comparison
equal deleted inserted replaced
267:f31e8da68e90 268:bacd0ba869e1
10 val q4 = (SELECT t1.A, t2.D, t1.A < t2.D AS Lt 10 val q4 = (SELECT t1.A, t2.D, t1.A < t2.D AS Lt
11 FROM t1, t2 11 FROM t1, t2
12 ORDER BY Lt) 12 ORDER BY Lt)
13 val q5 = (SELECT t1.A, t1.B, t2.D, t1.A < t2.D AS Lt 13 val q5 = (SELECT t1.A, t1.B, t2.D, t1.A < t2.D AS Lt
14 FROM t1, t2 14 FROM t1, t2
15 ORDER BY t1.A, Lt, t2.D) 15 ORDER BY t1.A DESC, Lt ASC, t2.D DESC)
16 16
17 17
18 datatype list a = Nil | Cons of a * list a 18 datatype list a = Nil | Cons of a * list a
19 19
20 val r1 : transaction (list string) = 20 val r1 : transaction (list string) =