Mercurial > urweb
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)