diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-05-05 10:23:16 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-05 10:23:16 -0400 |
commit | 5aff88e5b1dba05e222c601ed628b325ad6fd7f8 (patch) | |
tree | bede52199ad6681e3598dd198333b0c9dfef60ff /demo/batchG.ur | |
parent | c53eeb25b20757091dfb8f9a085207e867c31baf (diff) |
Make Effectize more precise
Diffstat (limited to 'demo/batchG.ur')
-rw-r--r-- | demo/batchG.ur | 16 |
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) |