comparison demo/batch.ur @ 708:1a317a707d71

Add primary keys to demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:22:11 -0400
parents 96ebc6bdb5a0
children 15ddd64a5113
comparison
equal deleted inserted replaced
707:d8217b4cb617 708:1a317a707d71
1 datatype list t = Nil | Cons of t * list t 1 datatype list t = Nil | Cons of t * list t
2 2
3 table t : {Id : int, A : string} 3 table t : {Id : int, A : string}
4 PRIMARY KEY Id
4 5
5 fun allRows () = 6 fun allRows () =
6 query (SELECT * FROM t) 7 query (SELECT * FROM t)
7 (fn r acc => return (Cons ((r.T.Id, r.T.A), acc))) 8 (fn r acc => return (Cons ((r.T.Id, r.T.A), acc)))
8 Nil 9 Nil