comparison demo/batchG.ur @ 708:1a317a707d71

Add primary keys to demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:22:11 -0400
parents fcf0bd3d1667
children 15ddd64a5113
comparison
equal deleted inserted replaced
707:d8217b4cb617 708:1a317a707d71
1 table t : {Id : int, A : string, B : float} 1 table t : {Id : int, A : string, B : float}
2 PRIMARY KEY Id
2 3
3 open BatchFun.Make(struct 4 open BatchFun.Make(struct
4 val tab = t 5 val tab = t
5 val title = "BatchG" 6 val title = "BatchG"
6 val cols = {A = BatchFun.string "A", 7 val cols = {A = BatchFun.string "A",