Mercurial > urweb
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)