summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-22 12:13:23 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-22 12:13:23 -0500
commit1399d287e92c4d6a76564cdb2d14e226629de60d (patch)
tree2f9b8a343d9b384b5f9996d02c555e597693f2ea /src/monoize.sml
parenta16e550a2284ab7485429afae24f20032e5bac17 (diff)
Basis.sql_nullable and Top.queryL
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml19
1 files changed, 19 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index f6a56c33..e9d90ecc 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -2469,6 +2469,25 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
fm)
end
+ | L.ECApp (
+ (L.ECApp (
+ (L.ECApp (
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_nullable"), _),
+ _), _),
+ _), _),
+ _), _),
+ _) =>
+ let
+ val s = (L'.TFfi ("Basis", "string"), loc)
+ fun sc s = (L'.EPrim (Prim.String s), loc)
+ in
+ ((L'.EAbs ("u", (L'.TRecord [], loc), (L'.TFun (s, s), loc),
+ (L'.EAbs ("x", s, s,
+ (L'.ERel 0, loc)), loc)), loc),
+ fm)
+ end
+
| L.EFfiApp ("Basis", "nextval", [e]) =>
let
val (e, fm) = monoExp (env, st, fm) e