diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-12-04 02:47:24 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-12-04 02:47:24 -0500 |
| commit | de8817f2e2e5cf49421cdcc08a754b8277f13866 (patch) | |
| tree | 9cab14b3b516fd2ed3d27385f6b7ccb804c0cc72 /src/monoize.sml | |
| parent | 7639360d7a0111054b68c3fe91bb2558706aaefc (diff) | |
More aggressive inlining of 'let' with record literals, plus some changes to Monoization of queries, to make inlining more common
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 0829abc9..6563da8b 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -1992,9 +1992,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) = strcat [gf "Rows", (L'.ECase (gf "OrderBy", [((L'.PPrim (Prim.String (Prim.Normal, "")), loc), str ""), - ((L'.PWild, loc), + ((L'.PVar ("orderby", s), loc), strcat [str " ORDER BY ", - gf "OrderBy"])], + (L'.ERel 0, loc)])], {disc = s, result = s}), loc), gf "Limit", gf "Offset"]), loc), fm) @@ -2103,8 +2103,8 @@ fun monoExp (env, st, fm) (all as (e, loc)) = [((L'.PPrim (Prim.String (Prim.Normal, #trueString (Settings.currentDbms ()))), loc), str ""), - ((L'.PWild, loc), - strcat [str " WHERE ", gf "Where"])], + ((L'.PVar ("where", s), loc), + strcat [str " WHERE ", (L'.ERel 0, loc)])], {disc = s, result = s}), loc), @@ -2132,8 +2132,8 @@ fun monoExp (env, st, fm) (all as (e, loc)) = [((L'.PPrim (Prim.String (Prim.Normal, #trueString (Settings.currentDbms ()))), loc), str ""), - ((L'.PWild, loc), - strcat [str " HAVING ", gf "Having"])], + ((L'.PVar ("having", s), loc), + strcat [str " HAVING ", (L'.ERel 0, loc)])], {disc = s, result = s}), loc) ]), loc), |