From f078aa703a4ba19b06e6d7c9a49fc9caae26016c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Mon, 2 Nov 2009 15:48:06 -0500
Subject: Start of Decision

---
 demo/more/meta.ur | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'demo/more/meta.ur')

diff --git a/demo/more/meta.ur b/demo/more/meta.ur
index 74b5004f..b8a3d584 100644
--- a/demo/more/meta.ur
+++ b/demo/more/meta.ur
@@ -80,3 +80,12 @@ fun ensql [avail] [ts ::: {(Type * Type)}] (r : $(map meta ts)) (vs : $(map snd
     map2 [meta] [snd] [fn ts :: (Type * Type) => sql_exp avail [] [] ts.1]
          (fn [ts] meta v => @sql_inject meta.Inject (meta.Parse v))
          [_] fl r vs
+
+con private = fn t :: Type =>
+                 {Nam : string,
+                  Initialize : t,
+                  Show : t -> xbody,
+                  Inject : sql_injectable t}
+
+fun initialize [ts] (r : $(map private ts)) (fl : folder ts) =
+    mp [private] [sql_exp [] [] []] (fn [t] r => @sql_inject r.Inject r.Initialize) [_] fl r
-- 
cgit v1.2.3