From 5aff88e5b1dba05e222c601ed628b325ad6fd7f8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 5 May 2009 10:23:16 -0400 Subject: Make Effectize more precise --- demo/batchG.ur | 16 ++++++---------- 1 file changed, 6 insertions(+), 10 deletions(-) (limited to 'demo/batchG.ur') 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 - +open BatchFun.Make(struct + val tab = t + val title = "BatchG" + val cols = {A = BatchFun.string "A", + B = BatchFun.float "B"} + end) -- cgit v1.2.3