diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-16 15:38:01 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 15:38:01 -0400 |
| commit | 2f923a2b261ac47e5f44d26aa92b548bbad86e09 (patch) | |
| tree | 319480b616f48c0f2ec38e1673c2b89a1de79125 /demo/batchG.ur | |
| parent | 431abe6b2d53ed42d5019a5263e8014de8920eb4 (diff) | |
Add more buttons to demo, to avoid effectful GET
Diffstat (limited to 'demo/batchG.ur')
| -rw-r--r-- | demo/batchG.ur | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/demo/batchG.ur b/demo/batchG.ur index d0071d7d..ea658164 100644 --- a/demo/batchG.ur +++ b/demo/batchG.ur @@ -1,9 +1,13 @@ table t : {Id : int, A : string, B : float} PRIMARY KEY Id -open BatchFun.Make(struct - val tab = t - val title = "BatchG" - val cols = {A = BatchFun.string "A", - B = BatchFun.float "B"} - end) +structure B = BatchFun.Make(struct + val tab = t + val title = "BatchG" + val cols = {A = BatchFun.string "A", + B = BatchFun.float "B"} + end) + +fun main () = return <xml><body> + <form><submit value="Begin demo" action={B.main}/></form> +</body></xml> |