summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-12-04 02:47:24 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-12-04 02:47:24 -0500
commitde8817f2e2e5cf49421cdcc08a754b8277f13866 (patch)
tree9cab14b3b516fd2ed3d27385f6b7ccb804c0cc72 /src/monoize.sml
parent7639360d7a0111054b68c3fe91bb2558706aaefc (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.sml12
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),