Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/monoize.sml Sun Aug 31 16:03:43 2008 -0400 +++ b/src/monoize.sml Sun Aug 31 16:10:20 2008 -0400 @@ -739,6 +739,17 @@ | L.EFfi ("Basis", "sql_no_limit") => ((L'.EPrim (Prim.String ""), loc), fm) + | L.EFfiApp ("Basis", "sql_limit", [e]) => + let + val (e, fm) = monoExp (env, st, fm) e + in + (strcat loc [ + (L'.EPrim (Prim.String " LIMIT "), loc), + (L'.EFfiApp ("Basis", "sqlifyInt", [e]), loc) + ], + fm) + end + | L.EFfi ("Basis", "sql_no_offset") => ((L'.EPrim (Prim.String ""), loc), fm)