summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Karn Kallio <kkallio@eka>2011-06-22 23:01:52 -0530
committerGravatar Karn Kallio <kkallio@eka>2011-06-22 23:01:52 -0530
commit412cc613b30e6e5ef52f22eb01fbbdca734e9860 (patch)
tree5756b8e7784d959f42a5be014a06966fb1f633b3 /src
parente66c26b216b4b6b4c156149edcdd8629eedc2974 (diff)
xtable monoize to string.
Diffstat (limited to 'src')
-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)