comparison src/monoize.sml @ 1014:ea9f03ac2710

Chars working with SQLite
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 17:36:30 -0400
parents 16f7cb0891b6
children dfe34fad749d
comparison
equal deleted inserted replaced
1013:d9483301ff0e 1014:ea9f03ac2710
1874 ^ x')) 1874 ^ x'))
1875 xts)) grouped) 1875 xts)) grouped)
1876 ], 1876 ],
1877 1877
1878 (L'.ECase (gf "Having", 1878 (L'.ECase (gf "Having",
1879 [((L'.PPrim (Prim.String "TRUE"), loc), 1879 [((L'.PPrim (Prim.String
1880 (#trueString (Settings.currentDbms ()))), loc),
1880 sc ""), 1881 sc ""),
1881 ((L'.PWild, loc), 1882 ((L'.PWild, loc),
1882 strcat [sc " HAVING ", gf "Having"])], 1883 strcat [sc " HAVING ", gf "Having"])],
1883 {disc = s, 1884 {disc = s,
1884 result = s}), loc) 1885 result = s}), loc)