summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-08-22 08:46:32 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-08-22 08:46:32 -0400
commit067c8d9d0e11ee60eed428a9f8472c2e1e6edff0 (patch)
treef8f0044758a9e4cba7b94e23ca89d220eaee9989 /src
parent7072be499e0f9837227555f73834f18463d1bd24 (diff)
show_sql_query
Diffstat (limited to 'src')
-rw-r--r--src/monoize.sml6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index 1b9c97ed..b5e2a5b6 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -1257,6 +1257,12 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
in
((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm)
end
+ | L.ECApp ((L.ECApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "show_sql_query"), _), _), _), _), _), _), _), _) =>
+ let
+ val s = (L'.TFfi ("Basis", "string"), loc)
+ in
+ ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm)
+ end
| L.ECApp ((L.EFfi ("Basis", "mkShow"), _), t) =>
let
val t = monoType env t