Mercurial > urweb

comparison src/monoize.sml @ 263:02e1870a0516

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoize OFFSET
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 16:11:15 -0400
parents a6cb33f49366
children 35ed669a253f
comparison
equal deleted inserted replaced
262:a6cb33f49366 263:02e1870a0516
750 fm) 750 fm)
751 end 751 end
752 752
753 | L.EFfi ("Basis", "sql_no_offset") => 753 | L.EFfi ("Basis", "sql_no_offset") =>
754 ((L'.EPrim (Prim.String ""), loc), fm) 754 ((L'.EPrim (Prim.String ""), loc), fm)
755 | L.EFfiApp ("Basis", "sql_offset", [e]) =>
756 let
757 val (e, fm) = monoExp (env, st, fm) e
758 in
759 (strcat loc [
760 (L'.EPrim (Prim.String " OFFSET "), loc),
761 (L'.EFfiApp ("Basis", "sqlifyInt", [e]), loc)
762 ],
763 fm)
764 end
755 765
756 | L.EFfi ("Basis", "sql_eq") => 766 | L.EFfi ("Basis", "sql_eq") =>
757 ((L'.EPrim (Prim.String "="), loc), fm) 767 ((L'.EPrim (Prim.String "="), loc), fm)
758 | L.EFfi ("Basis", "sql_ne") => 768 | L.EFfi ("Basis", "sql_ne") =>
759 ((L'.EPrim (Prim.String "<>"), loc), fm) 769 ((L'.EPrim (Prim.String "<>"), loc), fm)