comparison src/monoize.sml @ 1475:b703b375c3c0

xtable monoize to string.
author Karn Kallio <kkallio@eka>
date Thu, 23 Jun 2011 00:01:52 -0430
parents e2d7bd41f527
children d65387bdc557
comparison
equal deleted inserted replaced
1474:3d0cc841cafd 1475:b703b375c3c0
206 readType (mt env dtmap t, loc) 206 readType (mt env dtmap t, loc)
207 207
208 | L.CFfi ("Basis", "unit") => (L'.TRecord [], loc) 208 | L.CFfi ("Basis", "unit") => (L'.TRecord [], loc)
209 | L.CFfi ("Basis", "page") => (L'.TFfi ("Basis", "string"), loc) 209 | L.CFfi ("Basis", "page") => (L'.TFfi ("Basis", "string"), loc)
210 | L.CFfi ("Basis", "xbody") => (L'.TFfi ("Basis", "string"), loc) 210 | L.CFfi ("Basis", "xbody") => (L'.TFfi ("Basis", "string"), loc)
211 | L.CFfi ("Basis", "xtable") => (L'.TFfi ("Basis", "string"), loc)
211 | L.CFfi ("Basis", "xtr") => (L'.TFfi ("Basis", "string"), loc) 212 | L.CFfi ("Basis", "xtr") => (L'.TFfi ("Basis", "string"), loc)
212 | L.CFfi ("Basis", "xform") => (L'.TFfi ("Basis", "string"), loc) 213 | L.CFfi ("Basis", "xform") => (L'.TFfi ("Basis", "string"), loc)
213 214
214 | L.CFfi ("Basis", "url") => (L'.TFfi ("Basis", "string"), loc) 215 | L.CFfi ("Basis", "url") => (L'.TFfi ("Basis", "string"), loc)
215 | L.CFfi ("Basis", "mimeType") => (L'.TFfi ("Basis", "string"), loc) 216 | L.CFfi ("Basis", "mimeType") => (L'.TFfi ("Basis", "string"), loc)