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
commit3351c5fe759c482e1cadcc26e3acb40096cdf302 (patch)
tree5756b8e7784d959f42a5be014a06966fb1f633b3 /src
parent9616a2fb8ede074fd0d2adbd680c34e2a569b08c (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)