Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
262:a6cb33f49366 | 263:02e1870a0516 |
---|---|
8 | 8 |
9 | 9 |
10 datatype list a = Nil | Cons of a * list a | 10 datatype list a = Nil | Cons of a * list a |
11 | 11 |
12 val r1 : transaction (list {A : int, B : string, C : float}) = | 12 val r1 : transaction (list {A : int, B : string, C : float}) = |
13 query (q2 3) | 13 query (q4 3 7) |
14 (fn fs acc => return (Cons (fs.T, acc))) | 14 (fn fs acc => return (Cons (fs.T, acc))) |
15 Nil | 15 Nil |
16 | 16 |
17 val r2 : transaction string = | 17 val r2 : transaction string = |
18 ls <- r1; | 18 ls <- r1; |