summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-10-01 07:33:20 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2013-10-01 07:33:20 -0400
commitb81a9d8eebf3049507714c79119496407618bad5 (patch)
treec024ff43b4644ea9ca5802d781994d5b85975b73
parentf9cecf4b691e81f720fa1363c0a4b03b4b799ae8 (diff)
Add monoize case for 'dml' type
-rw-r--r--src/monoize.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index e2f3d5ca..3df6ec92 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -282,6 +282,8 @@ fun monoType env =
end
| L.CApp ((L.CFfi ("Basis", "propagation_mode"), _), _) =>
(L'.TFfi ("Basis", "string"), loc)
+ | L.CFfi ("Basis", "dml") =>
+ (L'.TFfi ("Basis", "string"), loc)
| L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_subset"), _), _), _), _) =>
(L'.TRecord [], loc)