# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1220212052 14400
# Node ID 645d0e8da64340db94298b0deb0819ca9ec2fa89
# Parent  d1b679dbbc251dadea120f7709b3e41e3e6f75fe
Monoize relops

diff -r d1b679dbbc25 -r 645d0e8da643 lib/basis.urs
--- a/lib/basis.urs	Sun Aug 31 15:36:15 2008 -0400
+++ b/lib/basis.urs	Sun Aug 31 15:47:32 2008 -0400
@@ -57,11 +57,11 @@
 val sql_union : sql_relop
 val sql_intersect : sql_relop
 val sql_except : sql_relop
-val sql_relop : sql_relop
-        -> tables1 ::: {{Type}}
+val sql_relop : tables1 ::: {{Type}}
         -> tables2 ::: {{Type}}
         -> selectedFields ::: {{Type}}
         -> selectedExps ::: {Type}
+        -> sql_relop
         -> sql_query1 tables1 selectedFields selectedExps
         -> sql_query1 tables2 selectedFields selectedExps
         -> sql_query1 selectedFields selectedFields selectedExps
diff -r d1b679dbbc25 -r 645d0e8da643 src/monoize.sml
--- a/src/monoize.sml	Sun Aug 31 15:36:15 2008 -0400
+++ b/src/monoize.sml	Sun Aug 31 15:47:32 2008 -0400
@@ -586,7 +586,18 @@
                         if List.exists (fn x => x = NONE) tables then
                             NONE
                         else
-                            SOME (List.mapPartial (fn x => x) tables)
+                            let
+                                val tables = List.mapPartial (fn x => x) tables
+                                val tables = ListMergeSort.sort
+                                                 (fn ((x, _), (y, _)) => String.compare (x, y) = GREATER)
+                                                 tables
+                                val tables = map (fn (x, xts) =>
+                                                     (x, ListMergeSort.sort
+                                                             (fn ((x, _), (y, _)) => String.compare (x, y) = GREATER)
+                                                             xts)) tables
+                            in
+                                SOME tables
+                            end
                     end
             in
                 case (doTables tables, doTables grouped, doTables stables, monoType env (L.TRecord sexps, loc)) of
@@ -784,7 +795,37 @@
               _), _),
              (L.CName tab, _)), _),
             (L.CName field, _)) => ((L'.EPrim (Prim.String (tab ^ "." ^ field)), loc), fm)
-                    
+
+          | L.ECApp (
+            (L.ECApp (
+             (L.ECApp (
+              (L.ECApp (
+               (L.EFfi ("Basis", "sql_relop"), _),
+               _), _),
+              _), _),
+             _), _),
+            _) =>
+            let
+                val s = (L'.TFfi ("Basis", "string"), loc)
+                fun sc s = (L'.EPrim (Prim.String s), loc)
+            in
+                ((L'.EAbs ("c", s, (L'.TFun (s, (L'.TFun (s, s), loc)), loc),
+                           (L'.EAbs ("e1", s, (L'.TFun (s, s), loc),
+                                     (L'.EAbs ("e2", s, s,
+                                               strcat loc [sc "((",
+                                                           (L'.ERel 1, loc),
+                                                           sc ") ",
+                                                           (L'.ERel 2, loc),
+                                                           sc " (",
+                                                           (L'.ERel 0, loc),
+                                                           sc "))"]), loc)), loc)), loc),
+                 fm)
+            end
+
+          | L.EFfi ("Basis", "sql_union") => ((L'.EPrim (Prim.String "UNION"), loc), fm)
+          | L.EFfi ("Basis", "sql_intersect") => ((L'.EPrim (Prim.String "INTERSECT"), loc), fm)
+          | L.EFfi ("Basis", "sql_except") => ((L'.EPrim (Prim.String "EXCEPT"), loc), fm)
+
           | L.EApp (
             (L.ECApp (
              (L.ECApp ((L.EFfi ("Basis", "cdata"), _), _), _),
diff -r d1b679dbbc25 -r 645d0e8da643 tests/relops.ur
--- a/tests/relops.ur	Sun Aug 31 15:36:15 2008 -0400
+++ b/tests/relops.ur	Sun Aug 31 15:47:32 2008 -0400
@@ -7,4 +7,24 @@
         INTERSECT SELECT t1.B, t1.A FROM t1 WHERE t1.B = t1.B)
 val q3 = (SELECT t1.A, t1.B, t1.C FROM t1 WHERE t1.A = 0
         INTERSECT SELECT * FROM t1 WHERE t1.B = 'Hello world!'
-        EXCEPT SELECT * FROM t1 WHERE t1.A < t1.A)
+        EXCEPT SELECT * FROM t1 WHERE t1.A < t1.A
+        UNION SELECT * FROM t1 WHERE t1.A > t1.A)
+
+datatype list a = Nil | Cons of a * list a
+
+val r1 : transaction (list {A : int, B : string, C : float}) =
+        query q3
+        (fn fs acc => return (Cons (fs.T1, acc)))
+        Nil
+
+val r2 : transaction string =
+        ls <- r1;
+        return (case ls of
+                    Nil => "Problem"
+                  | Cons ({B = b, ...}, _) => b)
+
+val main : unit -> transaction page = fn () =>
+        s <- r2;
+        return <html><body>
+                {cdata s}
+        </body></html>