Mercurial > urweb
diff src/monoize.sml @ 1870:434921f54f54
Add monoize case for 'dml' type
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 01 Oct 2013 07:33:20 -0400 |
| parents | e15234fbb163 |
| children | 312b62cdaa48 b44138e6a3bf |
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)