diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-02 15:29:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-02 15:29:45 -0400 |
| commit | be2a1797452302e2e2f559bb45c1fed431e4dfc8 (patch) | |
| tree | 38007bd0aec2ef369937aac999f32809a0d98051 /src/monoize.sml | |
| parent | 230df59a100ea7f1b8b74297fe28dcb567a283c6 (diff) | |
First query execution (not retrieving results yet)
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index b0b4309e..c79bea67 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -623,7 +623,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = @ map (fn (x, xts) => strcatComma loc (map (fn (x', _) => - sc (x ^ "." ^ x')) + sc (x ^ ".lw_" ^ x')) xts)) stables), sc " FROM ", strcatComma loc (map (fn (x, _) => strcat loc [(L'.EField (gf "From", x), loc), @@ -650,7 +650,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = strcatComma loc (map (fn (x, xts) => strcatComma loc (map (fn (x', _) => - sc (x ^ "." ^ x')) + sc (x ^ ".lw_" ^ x')) xts)) grouped) ], @@ -871,7 +871,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = _), _), _), _), (L.CName tab, _)), _), - (L.CName field, _)) => ((L'.EPrim (Prim.String (tab ^ "." ^ field)), loc), fm) + (L.CName field, _)) => ((L'.EPrim (Prim.String (tab ^ ".lw_" ^ field)), loc), fm) | L.ECApp ( (L.ECApp ( |