summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index 25b608bb..b761f0a5 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -208,6 +208,7 @@ fun monoType env =
| L.CFfi ("Basis", "unit") => (L'.TRecord [], loc)
| L.CFfi ("Basis", "page") => (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)
| L.CFfi ("Basis", "xform") => (L'.TFfi ("Basis", "string"), loc)