diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-05-30 07:48:08 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-05-30 07:48:08 -0400 |
| commit | 8fa4027917a95498a0b354e614aaad7e0210e2d7 (patch) | |
| tree | 5f109f795600afb68fac718401772c314afe3cbc /src | |
| parent | 5b421885fdfad728ab584ef15ec1873ec3bc2a05 (diff) | |
Remember to remove explicit table projections in SQLite UPDATE SET values
Diffstat (limited to 'src')
| -rw-r--r-- | src/monoize.sml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 85b9a39e..25b608bb 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -1823,10 +1823,11 @@ fun monoExp (env, st, fm) (all as (e, loc)) = 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)]), |