Mercurial > urweb

comparison src/monoize.sml @ 259:d1b679dbbc25

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoize HAVING
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 15:36:15 -0400
parents 40c33706d887
children 645d0e8da643
comparison
equal deleted inserted replaced
258:40c33706d887 259:d1b679dbbc25
635 strcatComma loc (map (fn (x, xts) => 635 strcatComma loc (map (fn (x, xts) =>
636 strcatComma loc 636 strcatComma loc
637 (map (fn (x', _) => 637 (map (fn (x', _) =>
638 sc (x ^ "." ^ x')) 638 sc (x ^ "." ^ x'))
639 xts)) grouped) 639 xts)) grouped)
640 ] 640 ],
641
642 (L'.ECase (gf "Having",
643 [((L'.PPrim (Prim.String "TRUE"), loc),
644 sc ""),
645 ((L'.PWild, loc),
646 strcat loc [sc " HAVING ", gf "Having"])],
647 {disc = s,
648 result = s}), loc)
641 ]), loc), 649 ]), loc),
642 fm) 650 fm)
643 | _ => poly () 651 | _ => poly ()
644 end 652 end
645 653