# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1380627200 14400
# Node ID 434921f54f54f2c6f8ba471e60078f600a1e1429
# Parent  16b08de04f05d353ed357c68a1fe43e9051903f4
Add monoize case for 'dml' type

diff -r 16b08de04f05 -r 434921f54f54 src/monoize.sml
--- a/src/monoize.sml	Mon Sep 30 16:37:37 2013 -0400
+++ b/src/monoize.sml	Tue Oct 01 07:33:20 2013 -0400
@@ -282,6 +282,8 @@
                     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)