diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-12-09 17:25:53 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-12-09 17:25:53 -0500 |
commit | e92b616737083d2f847db38c9cb8918f96595a04 (patch) | |
tree | 42a98dfa7c7fef29d0f0f0621671617376172100 /src/monoize.sml | |
parent | 31ab9f8c18c9e071392090960a8041febf7a2807 (diff) | |
parent | 377d1b9ccdf923b6803dc63a66babd90f08ba3f7 (diff) |
Merge
Diffstat (limited to 'src/monoize.sml')
-rw-r--r-- | src/monoize.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 291c0fa3..ad53cf18 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -215,6 +215,7 @@ fun monoType env = | 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) |