Mercurial > urweb
annotate tests/limit.ur @ 244:71bafe66dbe1
Laconic -> Ur
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 31 Aug 2008 08:32:18 -0400 |
parents | tests/limit.lac@a338da9d82f3 |
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}) |