Mercurial > urweb

comparison src/monoize.sml @ 1921:312b62cdaa48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add 'xhead' case to Monoize
author Adam Chlipala <adam@chlipala.net>
date Fri, 06 Dec 2013 08:44:26 -0500
parents 434921f54f54
children f1c211936557
comparison
equal deleted inserted replaced
1920:2f33d9a51765 1921:312b62cdaa48
213 | L.CApp ((L.CFfi ("Basis", "read"), _), t) => 213 | L.CApp ((L.CFfi ("Basis", "read"), _), t) =>
214 readType (mt env dtmap t, loc) 214 readType (mt env dtmap t, loc)
215 215
216 | L.CFfi ("Basis", "unit") => (L'.TRecord [], loc) 216 | L.CFfi ("Basis", "unit") => (L'.TRecord [], loc)
217 | L.CFfi ("Basis", "page") => (L'.TFfi ("Basis", "string"), loc) 217 | L.CFfi ("Basis", "page") => (L'.TFfi ("Basis", "string"), loc)
218 | L.CFfi ("Basis", "xhead") => (L'.TFfi ("Basis", "string"), loc)
218 | L.CFfi ("Basis", "xbody") => (L'.TFfi ("Basis", "string"), loc) 219 | L.CFfi ("Basis", "xbody") => (L'.TFfi ("Basis", "string"), loc)
219 | L.CFfi ("Basis", "xtable") => (L'.TFfi ("Basis", "string"), loc) 220 | L.CFfi ("Basis", "xtable") => (L'.TFfi ("Basis", "string"), loc)
220 | L.CFfi ("Basis", "xtr") => (L'.TFfi ("Basis", "string"), loc) 221 | L.CFfi ("Basis", "xtr") => (L'.TFfi ("Basis", "string"), loc)
221 | L.CFfi ("Basis", "xform") => (L'.TFfi ("Basis", "string"), loc) 222 | L.CFfi ("Basis", "xform") => (L'.TFfi ("Basis", "string"), loc)
222 223