Mercurial > urweb

comparison src/monoize.sml @ 1928:f1c211936557

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author Adam Chlipala <adam@chlipala.net>
date Mon, 09 Dec 2013 17:25:53 -0500
parents 44f607a7f4cd 312b62cdaa48
children f792a6544093
comparison
equal deleted inserted replaced
1927:b6aee1d5b9b1 1928:f1c211936557
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