diff options
author | 2011-06-22 23:01:52 -0530 | |
---|---|---|
committer | 2011-06-22 23:01:52 -0530 | |
commit | 3351c5fe759c482e1cadcc26e3acb40096cdf302 (patch) | |
tree | 5756b8e7784d959f42a5be014a06966fb1f633b3 | |
parent | 9616a2fb8ede074fd0d2adbd680c34e2a569b08c (diff) |
xtable monoize to string.
-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 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) |