diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-13 10:13:06 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-13 10:13:06 -0500 |
| commit | e376aee8f22ca46b5536803fc3d80e31f79da6ff (patch) | |
| tree | b8dfbb24caa3bc4cf3cf683e44a9ab92c4dc9e34 /src/monoize.sml | |
| parent | 0a168e5f39165bd9e462813866c9a25dc2d6b688 (diff) | |
Tweaking SQL parsing and typing
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 0a1990c7..f3c8b5f6 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -1772,11 +1772,13 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (L.ECApp ( (L.ECApp ( (L.ECApp ( - (L.EFfi ("Basis", "sql_query1"), _), - (L.CRecord (_, tables), _)), _), - (L.CRecord (_, grouped), _)), _), - (L.CRecord (_, stables), _)), _), - sexps) => + (L.ECApp ( + (L.EFfi ("Basis", "sql_query1"), _), + (L.CRecord (_, tables), _)), _), + (L.CRecord (_, grouped), _)), _), + (L.CRecord (_, stables), _)), _), + sexps), _), + _) => let fun sc s = (L'.EPrim (Prim.String s), loc) val s = (L'.TFfi ("Basis", "string"), loc) |