changeset 1870:434921f54f54

Add monoize case for 'dml' type
author Adam Chlipala <adam@chlipala.net>
date Tue, 01 Oct 2013 07:33:20 -0400 (2013-10-01)
parents 16b08de04f05
children c3119c263bd3
files src/monoize.sml
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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)