Mercurial > urweb
comparison src/monoize.sml @ 1187:ad9829c3c12c
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), |