annotate demo/batchG.ur @ 768:3b7e46790fa7

Path rewriting
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 13:23:07 -0400
parents 15ddd64a5113
children a44daa674810
rev   line source
adamc@650 1 table t : {Id : int, A : string, B : float}
adamc@708 2 PRIMARY KEY Id
adamc@650 3
adamc@733 4 structure B = BatchFun.Make(struct
adamc@733 5 val tab = t
adamc@733 6 val title = "BatchG"
adamc@733 7 val cols = {A = BatchFun.string "A",
adamc@733 8 B = BatchFun.float "B"}
adamc@733 9 end)
adamc@733 10
adamc@733 11 fun main () = return <xml><body>
adamc@733 12 <form><submit value="Begin demo" action={B.main}/></form>
adamc@733 13 </body></xml>