Mercurial > urweb

comparison src/monoize.sml @ 1136:32710de7227b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Small tweaks
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Jan 2010 20:10:32 -0500
parents 4f3a1aa3b66d
children 69f1d39d3f2d
comparison
equal deleted inserted replaced
1135:0aa2758cca32 1136:32710de7227b
228 (L'.TRecord [], loc) 228 (L'.TRecord [], loc)
229 | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_unary"), _), _), _), _) => 229 | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_unary"), _), _), _), _) =>
230 (L'.TFfi ("Basis", "string"), loc) 230 (L'.TFfi ("Basis", "string"), loc)
231 | L.CApp ((L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_binary"), _), _), _), _), _), _) => 231 | L.CApp ((L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_binary"), _), _), _), _), _), _) =>
232 (L'.TFfi ("Basis", "string"), loc) 232 (L'.TFfi ("Basis", "string"), loc)
233 | L.CApp ((L.CFfi ("Basis", "sql_aggregate"), _), t) => 233 | L.CApp ((L.CFfi ("Basis", "sql_aggregate"), _), _) =>
234 (L'.TFfi ("Basis", "string"), loc) 234 (L'.TFfi ("Basis", "string"), loc)
235 | L.CApp ((L.CFfi ("Basis", "sql_summable"), _), _) => 235 | L.CApp ((L.CFfi ("Basis", "sql_summable"), _), _) =>
236 (L'.TRecord [], loc) 236 (L'.TRecord [], loc)
237 | L.CApp ((L.CFfi ("Basis", "sql_maxable"), _), _) => 237 | L.CApp ((L.CFfi ("Basis", "sql_maxable"), _), _) =>
238 (L'.TRecord [], loc) 238 (L'.TRecord [], loc)