Mercurial > urweb

comparison src/monoize.sml @ 874:3c7b48040dcf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MySQL demo/sql succeeds in reading no rows
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Jul 2009 15:05:40 -0400
parents 0f7e2cca6d9b
children dae141d911d9
comparison
equal deleted inserted replaced
873:41971801b62d 874:3c7b48040dcf
1602 val s = (L'.TFfi ("Basis", "string"), loc) 1602 val s = (L'.TFfi ("Basis", "string"), loc)
1603 fun sc s = (L'.EPrim (Prim.String s), loc) 1603 fun sc s = (L'.EPrim (Prim.String s), loc)
1604 in 1604 in
1605 ((L'.EAbs ("tab", s, (L'.TFun (s, s), loc), 1605 ((L'.EAbs ("tab", s, (L'.TFun (s, s), loc),
1606 (L'.EAbs ("e", s, s, 1606 (L'.EAbs ("e", s, s,
1607 strcat [sc "DELETE FROM ", 1607 if #supportsDeleteAs (Settings.currentDbms ()) then
1608 (L'.ERel 1, loc), 1608 strcat [sc "DELETE FROM ",
1609 sc " AS T WHERE ", 1609 (L'.ERel 1, loc),
1610 (L'.ERel 0, loc)]), loc)), loc), 1610 sc " AS T WHERE ",
1611 (L'.ERel 0, loc)]
1612 else
1613 strcat [sc "DELETE FROM ",
1614 (L'.ERel 1, loc),
1615 sc " WHERE ",
1616 (L'.EFfiApp ("Basis", "unAs", [(L'.ERel 0, loc)]), loc)]), loc)), loc),
1611 fm) 1617 fm)
1612 end 1618 end
1613 1619
1614 | L.ECApp ( 1620 | L.ECApp (
1615 (L.ECApp ( 1621 (L.ECApp (