Mercurial > urweb

comparison src/monoize.sml @ 1870:434921f54f54

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add monoize case for 'dml' type
author Adam Chlipala <adam@chlipala.net>
date Tue, 01 Oct 2013 07:33:20 -0400
parents e15234fbb163
children 312b62cdaa48 b44138e6a3bf
comparison
equal deleted inserted replaced
1869:16b08de04f05 1870:434921f54f54
279 val string = (L'.TFfi ("Basis", "string"), loc) 279 val string = (L'.TFfi ("Basis", "string"), loc)
280 in 280 in
281 (L'.TRecord [("1", string), ("2", string)], loc) 281 (L'.TRecord [("1", string), ("2", string)], loc)
282 end 282 end
283 | L.CApp ((L.CFfi ("Basis", "propagation_mode"), _), _) => 283 | L.CApp ((L.CFfi ("Basis", "propagation_mode"), _), _) =>
284 (L'.TFfi ("Basis", "string"), loc)
285 | L.CFfi ("Basis", "dml") =>
284 (L'.TFfi ("Basis", "string"), loc) 286 (L'.TFfi ("Basis", "string"), loc)
285 287
286 | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_subset"), _), _), _), _) => 288 | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_subset"), _), _), _), _) =>
287 (L'.TRecord [], loc) 289 (L'.TRecord [], loc)
288 | L.CFfi ("Basis", "sql_relop") => 290 | L.CFfi ("Basis", "sql_relop") =>