Mercurial > urweb
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) |