Mercurial > urweb

comparison demo/batchG.ur @ 782:a44daa674810

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make Effectize more precise
author Adam Chlipala <adamc@hcoop.net>
date Tue, 05 May 2009 10:23:16 -0400
parents 15ddd64a5113
children
comparison
equal deleted inserted replaced
781:c884a42599f3 782:a44daa674810
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 structure B = BatchFun.Make(struct 4 open 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>