From a6eb484bd588045d401e61fed64fac553e0e3395 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 23 Oct 2008 18:18:51 -0400
Subject: Crud demo

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

(limited to 'demo/crud1.ur')

diff --git a/demo/crud1.ur b/demo/crud1.ur
new file mode 100644
index 00000000..3849e822
--- /dev/null
+++ b/demo/crud1.ur
@@ -0,0 +1,12 @@
+table t1 : {Id : int, A : int, B : string, C : float, D : bool}
+
+open Crud.Make(struct
+                   val tab = t1
+                             
+                   val title = "Crud1"
+                               
+                   val cols = {A = Crud.int "A",
+                               B = Crud.string "B",
+                               C = Crud.float "C",
+                               D = Crud.bool "D"}
+               end)
-- 
cgit v1.2.3