summaryrefslogtreecommitdiff
path: root/demo/batchG.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-05 10:23:16 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-05 10:23:16 -0400
commit5aff88e5b1dba05e222c601ed628b325ad6fd7f8 (patch)
treebede52199ad6681e3598dd198333b0c9dfef60ff /demo/batchG.ur
parentc53eeb25b20757091dfb8f9a085207e867c31baf (diff)
Make Effectize more precise
Diffstat (limited to 'demo/batchG.ur')
-rw-r--r--demo/batchG.ur16
1 files changed, 6 insertions, 10 deletions
diff --git a/demo/batchG.ur b/demo/batchG.ur
index ea658164..d0071d7d 100644
--- a/demo/batchG.ur
+++ b/demo/batchG.ur
@@ -1,13 +1,9 @@
table t : {Id : int, A : string, B : float}
PRIMARY KEY Id
-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>
+open BatchFun.Make(struct
+ val tab = t
+ val title = "BatchG"
+ val cols = {A = BatchFun.string "A",
+ B = BatchFun.float "B"}
+ end)