comparison src/monoize.sml @ 262:a6cb33f49366

Monoize LIMIT
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 16:10:20 -0400
parents ee51e9d35c9b
children 02e1870a0516
comparison
equal deleted inserted replaced
261:ee51e9d35c9b 262:a6cb33f49366
737 fm) 737 fm)
738 end 738 end
739 739
740 | L.EFfi ("Basis", "sql_no_limit") => 740 | L.EFfi ("Basis", "sql_no_limit") =>
741 ((L'.EPrim (Prim.String ""), loc), fm) 741 ((L'.EPrim (Prim.String ""), loc), fm)
742 | L.EFfiApp ("Basis", "sql_limit", [e]) =>
743 let
744 val (e, fm) = monoExp (env, st, fm) e
745 in
746 (strcat loc [
747 (L'.EPrim (Prim.String " LIMIT "), loc),
748 (L'.EFfiApp ("Basis", "sqlifyInt", [e]), loc)
749 ],
750 fm)
751 end
752
742 | L.EFfi ("Basis", "sql_no_offset") => 753 | L.EFfi ("Basis", "sql_no_offset") =>
743 ((L'.EPrim (Prim.String ""), loc), fm) 754 ((L'.EPrim (Prim.String ""), loc), fm)
744 755
745 | L.EFfi ("Basis", "sql_eq") => 756 | L.EFfi ("Basis", "sql_eq") =>
746 ((L'.EPrim (Prim.String "="), loc), fm) 757 ((L'.EPrim (Prim.String "="), loc), fm)