Mercurial > urweb

comparison src/monoize.sml @ 1070:e933297c4e24

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tweaking SQL parsing and typing
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 10:13:06 -0500
parents 50dd937c4cb9
children 26197c957ad6
comparison
equal deleted inserted replaced
1069:757397bb9609 1070:e933297c4e24
1770 1770
1771 | L.ECApp ( 1771 | L.ECApp (
1772 (L.ECApp ( 1772 (L.ECApp (
1773 (L.ECApp ( 1773 (L.ECApp (
1774 (L.ECApp ( 1774 (L.ECApp (
1775 (L.EFfi ("Basis", "sql_query1"), _), 1775 (L.ECApp (
1776 (L.CRecord (_, tables), _)), _), 1776 (L.EFfi ("Basis", "sql_query1"), _),
1777 (L.CRecord (_, grouped), _)), _), 1777 (L.CRecord (_, tables), _)), _),
1778 (L.CRecord (_, stables), _)), _), 1778 (L.CRecord (_, grouped), _)), _),
1779 sexps) => 1779 (L.CRecord (_, stables), _)), _),
1780 sexps), _),
1781 _) =>
1780 let 1782 let
1781 fun sc s = (L'.EPrim (Prim.String s), loc) 1783 fun sc s = (L'.EPrim (Prim.String s), loc)
1782 val s = (L'.TFfi ("Basis", "string"), loc) 1784 val s = (L'.TFfi ("Basis", "string"), loc)
1783 val b = (L'.TFfi ("Basis", "bool"), loc) 1785 val b = (L'.TFfi ("Basis", "bool"), loc)
1784 val un = (L'.TRecord [], loc) 1786 val un = (L'.TRecord [], loc)