# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1220814970 14400
# Node ID ea62b15da922def6d136da95c395ccf2387ce640
# Parent  72480e249130896347d09809d62f62b0ce4f1285
First DELETE works

diff -r 72480e249130 -r ea62b15da922 src/monoize.sml
--- a/src/monoize.sml	Sun Sep 07 15:12:47 2008 -0400
+++ b/src/monoize.sml	Sun Sep 07 15:16:10 2008 -0400
@@ -654,6 +654,20 @@
                  end
                | _ => poly ())
 
+          | L.ECApp ((L.EFfi ("Basis", "delete"), _), _) =>
+            let
+                val s = (L'.TFfi ("Basis", "string"), loc)
+                fun sc s = (L'.EPrim (Prim.String s), loc)
+            in
+                ((L'.EAbs ("tab", s, (L'.TFun (s, s), loc),
+                           (L'.EAbs ("e", s, s,
+                                     strcat loc [sc "DELETE FROM ",
+                                                 (L'.ERel 1, loc),
+                                                 sc " AS T WHERE ",
+                                                 (L'.ERel 0, loc)]), loc)), loc),
+                 fm)
+            end
+
           | L.ECApp (
             (L.ECApp (
              (L.ECApp ((L.EFfi ("Basis", "query"), _), (L.CRecord (_, tables), _)), _),