comparison demo/batchG.ur @ 733:15ddd64a5113

Add more buttons to demo, to avoid effectful GET
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:38:01 -0400
parents 1a317a707d71
children a44daa674810
comparison
equal deleted inserted replaced
732:5819fb63c93a 733:15ddd64a5113
1 table t : {Id : int, A : string, B : float} 1 table t : {Id : int, A : string, B : float}
2 PRIMARY KEY Id 2 PRIMARY KEY Id
3 3
4 open BatchFun.Make(struct 4 structure B = BatchFun.Make(struct
5 val tab = t 5 val tab = t
6 val title = "BatchG" 6 val title = "BatchG"
7 val cols = {A = BatchFun.string "A", 7 val cols = {A = BatchFun.string "A",
8 B = BatchFun.float "B"} 8 B = BatchFun.float "B"}
9 end) 9 end)
10
11 fun main () = return <xml><body>
12 <form><submit value="Begin demo" action={B.main}/></form>
13 </body></xml>