Mercurial > urweb
diff tests/limit.ur @ 263:02e1870a0516
Monoize OFFSET
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 31 Aug 2008 16:11:15 -0400 |
parents | a6cb33f49366 |
children |
line wrap: on
line diff
--- a/tests/limit.ur Sun Aug 31 16:10:20 2008 -0400 +++ b/tests/limit.ur Sun Aug 31 16:11:15 2008 -0400 @@ -10,7 +10,7 @@ datatype list a = Nil | Cons of a * list a val r1 : transaction (list {A : int, B : string, C : float}) = - query (q2 3) + query (q4 3 7) (fn fs acc => return (Cons (fs.T, acc))) Nil