# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1306756088 14400
# Node ID e2d7bd41f527af8790ecfd731edc4e9932216c4d
# Parent  2f5fd248588d9f7c11e6cfa1d14ac26c3aa26e7e
Remember to remove explicit table projections in SQLite UPDATE SET values

diff -r 2f5fd248588d -r e2d7bd41f527 src/monoize.sml
--- a/src/monoize.sml	Sun May 29 14:29:26 2011 -0400
+++ b/src/monoize.sml	Mon May 30 07:48:08 2011 -0400
@@ -1823,10 +1823,11 @@
                                                                 strcatComma (map (fn (x, _) =>
                                                                                      strcat [sc ("uw_" ^ x
                                                                                                  ^ " = "),
-                                                                                             (L'.EField
-                                                                                                  ((L'.ERel 2,
-                                                                                                    loc),
-                                                                                                   x), loc)])
+                                                                                             (L'.EFfiApp ("Basis", "unAs",
+                                                                                                          [(L'.EField
+                                                                                                                ((L'.ERel 2,
+                                                                                                                  loc),
+                                                                                                                 x), loc)]), loc)])
                                                                                  changed),
                                                                 sc " WHERE ",
                                                                 (L'.EFfiApp ("Basis", "unAs", [(L'.ERel 0, loc)]), loc)]),
diff -r 2f5fd248588d -r e2d7bd41f527 tests/t_t.ur
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/t_t.ur	Mon May 30 07:48:08 2011 -0400
@@ -0,0 +1,3 @@
+table t : {A : int}
+
+task initialize = fn () => dml (UPDATE t SET A = A + 1 WHERE TRUE)
diff -r 2f5fd248588d -r e2d7bd41f527 tests/t_t.urp
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/t_t.urp	Mon May 30 07:48:08 2011 -0400
@@ -0,0 +1,5 @@
+dbms sqlite
+database /tmp/test
+sql t_t.sql
+
+t_t