diff src/monoize.sml @ 1070:e933297c4e24

Tweaking SQL parsing and typing
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 10:13:06 -0500
parents 50dd937c4cb9
children 26197c957ad6
line wrap: on
line diff
--- a/src/monoize.sml	Sat Dec 12 14:51:10 2009 -0500
+++ b/src/monoize.sml	Sun Dec 13 10:13:06 2009 -0500
@@ -1772,11 +1772,13 @@
             (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)