Mercurial > urweb
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 |