From 4bc363c5ec2724b9d310e17181ca87517c98aa68 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 10 Mar 2009 16:38:38 -0400
Subject: BatchG demo

---
 demo/batchG.ur | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 demo/batchG.ur

(limited to 'demo/batchG.ur')

diff --git a/demo/batchG.ur b/demo/batchG.ur
new file mode 100644
index 00000000..e370b26e
--- /dev/null
+++ b/demo/batchG.ur
@@ -0,0 +1,8 @@
+table t : {Id : int, A : string, B : float}
+
+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