summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-02-03 21:04:12 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-02-03 21:04:12 -0500
commit58c927541d3960c0bca5636c05e499246d3cecef (patch)
tree0d7561a584be03f1fbd5a3297a101e3c54bf7ba9 /src
parent426f4427ff7a2d58e86f533ad8bb79a0b6b89d31 (diff)
Subqueries may always return NULL
Diffstat (limited to 'src')
-rw-r--r--src/monoize.sml13
1 files changed, 8 insertions, 5 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index de518c81..9f76dbee 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -2796,7 +2796,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_subquery"), _),
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_subquery"), _),
+ _), _),
_), _),
_), _),
_), _),
@@ -2806,10 +2808,11 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
val s = (L'.TFfi ("Basis", "string"), loc)
fun sc s = (L'.EPrim (Prim.String s), loc)
in
- ((L'.EAbs ("x", s, s,
- strcat [sc "(",
- (L'.ERel 0, loc),
- sc ")"]), loc),
+ ((L'.EAbs ("_", (L'.TRecord [], loc), (L'.TFun (s, s), loc),
+ (L'.EAbs ("x", s, s,
+ strcat [sc "(",
+ (L'.ERel 0, loc),
+ sc ")"]), loc)), loc),
fm)
end