From 2f923a2b261ac47e5f44d26aa92b548bbad86e09 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 16 Apr 2009 15:38:01 -0400 Subject: Add more buttons to demo, to avoid effectful GET --- demo/batchG.ur | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) (limited to 'demo/batchG.ur') 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 + -- cgit v1.2.3