Mercurial > urweb

comparison src/monoize.sml @ 470:7cb418e9714f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tree demo works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 18:49:38 -0500
parents 4efab85405be
children 20fab0e96217
comparison
equal deleted inserted replaced
469:b393c2fc80f8 470:7cb418e9714f
1582 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), 1582 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc),
1583 fm) 1583 fm)
1584 end 1584 end
1585 | L.EFfi ("Basis", "sql_current_timestamp") => ((L'.EPrim (Prim.String "CURRENT_TIMESTAMP"), loc), fm) 1585 | L.EFfi ("Basis", "sql_current_timestamp") => ((L'.EPrim (Prim.String "CURRENT_TIMESTAMP"), loc), fm)
1586 1586
1587 | (L.ECApp (
1588 (L.ECApp (
1589 (L.ECApp (
1590 (L.ECApp (
1591 (L.EFfi ("Basis", "sql_is_null"), _), _),
1592 _), _),
1593 _), _),
1594 _), _)) =>
1595 let
1596 val s = (L'.TFfi ("Basis", "string"), loc)
1597 fun sc s = (L'.EPrim (Prim.String s), loc)
1598 in
1599 ((L'.EAbs ("s", s, s,
1600 strcat loc [sc "(",
1601 (L'.ERel 0, loc),
1602 sc " IS NULL)"]), loc),
1603 fm)
1604 end
1605
1587 | L.EFfiApp ("Basis", "nextval", [e]) => 1606 | L.EFfiApp ("Basis", "nextval", [e]) =>
1588 let 1607 let
1589 val (e, fm) = monoExp (env, st, fm) e 1608 val (e, fm) = monoExp (env, st, fm) e
1590 in 1609 in
1591 ((L'.ENextval e, loc), fm) 1610 ((L'.ENextval e, loc), fm)