From 48b9d4dae3d1ca6ff39e71571a6db3a43497c9f9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 11 Sep 2008 17:41:52 -0400
Subject: Crud listing IDs

---
 tests/crud.urs | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/crud.urs

(limited to 'tests/crud.urs')

diff --git a/tests/crud.urs b/tests/crud.urs
new file mode 100644
index 00000000..5f2ae695
--- /dev/null
+++ b/tests/crud.urs
@@ -0,0 +1,11 @@
+functor Make(M : sig
+        con cols :: {Type}
+        constraint [Id] ~ cols
+        val tab : sql_table ([Id = int] ++ cols)
+
+        val title : string
+
+        val cols : $(mapTT (fn t => {Show : t -> xbody}) cols)
+end) : sig
+        val main : unit -> transaction page
+end
-- 
cgit v1.2.3