Mercurial > urweb
diff src/monoize.sml @ 1928:f1c211936557
Merge
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Mon, 09 Dec 2013 17:25:53 -0500 |
| parents | 44f607a7f4cd 312b62cdaa48 |
| children | f792a6544093 |
line wrap: on
line diff
--- a/src/monoize.sml Mon Dec 09 17:23:25 2013 -0500 +++ b/src/monoize.sml Mon Dec 09 17:25:53 2013 -0500 @@ -215,6 +215,7 @@ | L.CFfi ("Basis", "unit") => (L'.TRecord [], loc) | L.CFfi ("Basis", "page") => (L'.TFfi ("Basis", "string"), loc) + | L.CFfi ("Basis", "xhead") => (L'.TFfi ("Basis", "string"), loc) | L.CFfi ("Basis", "xbody") => (L'.TFfi ("Basis", "string"), loc) | L.CFfi ("Basis", "xtable") => (L'.TFfi ("Basis", "string"), loc) | L.CFfi ("Basis", "xtr") => (L'.TFfi ("Basis", "string"), loc)