Mercurial > urweb

comparison src/monoize.sml @ 1556:e1f5d9c4cc20

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
An abstract type of IDs
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Sep 2011 12:51:05 -0400
parents a99b743a3087
children 5691ec310618
comparison
equal deleted inserted replaced
1555:d5c961c709f9 1556:e1f5d9c4cc20
217 | L.CApp ((L.CApp ((L.CApp ((L.CFfi ("Basis", "xml"), _), _), _), _), _), _) => 217 | L.CApp ((L.CApp ((L.CApp ((L.CFfi ("Basis", "xml"), _), _), _), _), _), _) =>
218 (L'.TFfi ("Basis", "string"), loc) 218 (L'.TFfi ("Basis", "string"), loc)
219 | L.CApp ((L.CApp ((L.CFfi ("Basis", "xhtml"), _), _), _), _) => 219 | L.CApp ((L.CApp ((L.CFfi ("Basis", "xhtml"), _), _), _), _) =>
220 (L'.TFfi ("Basis", "string"), loc) 220 (L'.TFfi ("Basis", "string"), loc)
221 | L.CFfi ("Basis", "css_class") => (L'.TFfi ("Basis", "string"), loc) 221 | L.CFfi ("Basis", "css_class") => (L'.TFfi ("Basis", "string"), loc)
222 | L.CFfi ("Basis", "id") => (L'.TFfi ("Basis", "string"), loc)
222 223
223 | L.CApp ((L.CFfi ("Basis", "serialized"), _), _) => 224 | L.CApp ((L.CFfi ("Basis", "serialized"), _), _) =>
224 (L'.TFfi ("Basis", "string"), loc) 225 (L'.TFfi ("Basis", "string"), loc)
225 226
226 | L.CApp ((L.CFfi ("Basis", "transaction"), _), t) => 227 | L.CApp ((L.CFfi ("Basis", "transaction"), _), t) =>