# HG changeset patch # User Adam Chlipala # Date 1220213420 14400 # Node ID a6cb33f493664a43a6dc971e08d2d64ccbbc28de # Parent ee51e9d35c9b272b833e33dc807709db1e335b73 Monoize LIMIT diff -r ee51e9d35c9b -r a6cb33f49366 src/monoize.sml --- 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) diff -r ee51e9d35c9b -r a6cb33f49366 tests/limit.ur --- a/tests/limit.ur Sun Aug 31 16:03:43 2008 -0400 +++ b/tests/limit.ur Sun Aug 31 16:10:20 2008 -0400 @@ -5,3 +5,23 @@ val q3 = (SELECT * FROM t OFFSET 3) val q4 = fn n => fn m => (SELECT * FROM t LIMIT {n} OFFSET {m}) + + +datatype list a = Nil | Cons of a * list a + +val r1 : transaction (list {A : int, B : string, C : float}) = + query (q2 3) + (fn fs acc => return (Cons (fs.T, acc))) + Nil + +val r2 : transaction string = + ls <- r1; + return (case ls of + Nil => "Problem" + | Cons ({B = b, ...}, _) => b) + +val main : unit -> transaction page = fn () => + s <- r2; + return + {cdata s} +