Mercurial > urweb

comparison src/monoize.sml @ 1187:ad9829c3c12c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
COUNT(col)
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Mar 2010 15:54:35 -0400
parents 51e596feec37
children 61c3139eab12
comparison
equal deleted inserted replaced
1186:a4ac900d3085 1187:ad9829c3c12c
234 (L'.TRecord [], loc) 234 (L'.TRecord [], loc)
235 | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_unary"), _), _), _), _) => 235 | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_unary"), _), _), _), _) =>
236 (L'.TFfi ("Basis", "string"), loc) 236 (L'.TFfi ("Basis", "string"), loc)
237 | L.CApp ((L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_binary"), _), _), _), _), _), _) => 237 | L.CApp ((L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_binary"), _), _), _), _), _), _) =>
238 (L'.TFfi ("Basis", "string"), loc) 238 (L'.TFfi ("Basis", "string"), loc)
239 | L.CApp ((L.CFfi ("Basis", "sql_aggregate"), _), _) => 239 | L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_aggregate"), _), _), _), _) =>
240 (L'.TFfi ("Basis", "string"), loc) 240 (L'.TFfi ("Basis", "string"), loc)
241 | L.CApp ((L.CFfi ("Basis", "sql_summable"), _), _) => 241 | L.CApp ((L.CFfi ("Basis", "sql_summable"), _), _) =>
242 (L'.TRecord [], loc) 242 (L'.TRecord [], loc)
243 | L.CApp ((L.CFfi ("Basis", "sql_maxable"), _), _) => 243 | L.CApp ((L.CFfi ("Basis", "sql_maxable"), _), _) =>
244 (L'.TRecord [], loc) 244 (L'.TRecord [], loc)
2369 2369
2370 | L.ECApp ( 2370 | L.ECApp (
2371 (L.ECApp ( 2371 (L.ECApp (
2372 (L.ECApp ( 2372 (L.ECApp (
2373 (L.ECApp ( 2373 (L.ECApp (
2374 (L.EFfi ("Basis", "sql_aggregate"), _), 2374 (L.ECApp (
2375 (L.EFfi ("Basis", "sql_aggregate"), _),
2376 _), _),
2375 _), _), 2377 _), _),
2376 _), _), 2378 _), _),
2377 _), _), 2379 _), _),
2378 t) => 2380 t) =>
2379 let 2381 let
2398 sc "(", 2400 sc "(",
2399 (L'.ERel 0, loc), 2401 (L'.ERel 0, loc),
2400 sc (")," ^ default ^ ")")]), loc)), loc), 2402 sc (")," ^ default ^ ")")]), loc)), loc),
2401 fm) 2403 fm)
2402 end 2404 end
2405
2406 | L.ECApp ((L.EFfi ("Basis", "sql_count_col"), _), _) =>
2407 ((L'.EPrim (Prim.String "COUNT"), loc),
2408 fm)
2403 2409
2404 | L.EFfi ("Basis", "sql_summable_int") => ((L'.ERecord [], loc), fm) 2410 | L.EFfi ("Basis", "sql_summable_int") => ((L'.ERecord [], loc), fm)
2405 | L.EFfi ("Basis", "sql_summable_float") => ((L'.ERecord [], loc), fm) 2411 | L.EFfi ("Basis", "sql_summable_float") => ((L'.ERecord [], loc), fm)
2406 | L.ECApp ((L.EFfi ("Basis", "sql_avg"), _), _) => 2412 | L.ECApp ((L.EFfi ("Basis", "sql_avg"), _), _) =>
2407 ((L'.EAbs ("_", (L'.TRecord [], loc), (L'.TFfi ("Basis", "string"), loc), 2413 ((L'.EAbs ("_", (L'.TRecord [], loc), (L'.TFfi ("Basis", "string"), loc),