Mercurial > urweb
annotate tests/limit.ur @ 249:b6b75e6e0898
Corify transaction wrappers
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 31 Aug 2008 09:45:23 -0400 |
| parents | 71bafe66dbe1 |
| children | a6cb33f49366 |
| rev | line source |
|---|---|
| adamc@231 | 1 table t : {A : int, B : string, C : float} |
| adamc@231 | 2 |
| adamc@231 | 3 val q1 = (SELECT * FROM t LIMIT 42) |
| adamc@231 | 4 val q2 = fn n => (SELECT * FROM t LIMIT {n}) |
| adamc@232 | 5 |
| adamc@232 | 6 val q3 = (SELECT * FROM t OFFSET 3) |
| adamc@232 | 7 val q4 = fn n => fn m => (SELECT * FROM t LIMIT {n} OFFSET {m}) |