comparison src/monoize.sml @ 544:4154b4dc62c6

Finish documenting queries; remove a stray [unit] argument
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Dec 2008 10:02:04 -0500
parents ae03d09043c1
children 5d494183ca89
comparison
equal deleted inserted replaced
543:c01415a171ed 544:4154b4dc62c6
1528 (L.ECApp ( 1528 (L.ECApp (
1529 (L.ECApp ( 1529 (L.ECApp (
1530 (L.EFfi ("Basis", "sql_count"), _), 1530 (L.EFfi ("Basis", "sql_count"), _),
1531 _), _), 1531 _), _),
1532 _), _), 1532 _), _),
1533 _) => ((L'.EAbs ("_", (L'.TRecord [], loc), (L'.TFfi ("Basis", "string"), loc), 1533 _) => ((L'.EPrim (Prim.String "COUNT(*)"), loc),
1534 (L'.EPrim (Prim.String "COUNT(*)"), loc)), loc),
1535 fm) 1534 fm)
1536 1535
1537 | L.ECApp ( 1536 | L.ECApp (
1538 (L.ECApp ( 1537 (L.ECApp (
1539 (L.ECApp ( 1538 (L.ECApp (