Mercurial > urweb
diff src/monoize.sml @ 1466:e2d7bd41f527
Remember to remove explicit table projections in SQLite UPDATE SET values
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 30 May 2011 07:48:08 -0400 |
parents | 607657eb2865 |
children | b703b375c3c0 |
line wrap: on
line diff
--- 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)]),