summaryrefslogtreecommitdiff
path: root/demo/batchG.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 15:38:01 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 15:38:01 -0400
commit2f923a2b261ac47e5f44d26aa92b548bbad86e09 (patch)
tree319480b616f48c0f2ec38e1673c2b89a1de79125 /demo/batchG.ur
parent431abe6b2d53ed42d5019a5263e8014de8920eb4 (diff)
Add more buttons to demo, to avoid effectful GET
Diffstat (limited to 'demo/batchG.ur')
-rw-r--r--demo/batchG.ur16
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>