Mercurial > urweb

comparison src/monoize.sml @ 465:ddd363e856ff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookie prose; fix bugs that broke demo compilation
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:46:45 -0500
parents bb27c7efcd90
children 1626dcba13ee
comparison
equal deleted inserted replaced
464:91914c15a85b 465:ddd363e856ff
1563 end 1563 end
1564 | L.EFfi ("Basis", "sql_current_timestamp") => ((L'.EPrim (Prim.String "CURRENT_TIMESTAMP"), loc), fm) 1564 | L.EFfi ("Basis", "sql_current_timestamp") => ((L'.EPrim (Prim.String "CURRENT_TIMESTAMP"), loc), fm)
1565 1565
1566 | L.EFfiApp ("Basis", "nextval", [e]) => 1566 | L.EFfiApp ("Basis", "nextval", [e]) =>
1567 let 1567 let
1568 val un = (L'.TRecord [], loc)
1569 val int = (L'.TFfi ("Basis", "int"), loc)
1570 val (e, fm) = monoExp (env, st, fm) e 1568 val (e, fm) = monoExp (env, st, fm) e
1571 in 1569 in
1572 ((L'.EAbs ("_", un, int, 1570 ((L'.ENextval e, loc), fm)
1573 (L'.ENextval (liftExpInExp 0 e), loc)), loc),
1574 fm)
1575 end 1571 end
1576 1572
1577 | L.EApp ( 1573 | L.EApp (
1578 (L.ECApp ( 1574 (L.ECApp (
1579 (L.ECApp ((L.EFfi ("Basis", "cdata"), _), _), _), 1575 (L.ECApp ((L.EFfi ("Basis", "cdata"), _), _), _),