Mercurial > urweb

comparison demo/more/meta.ur @ 1030:6bcc1020d5cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of Decision
author Adam Chlipala <adamc@hcoop.net>
date Mon, 02 Nov 2009 15:48:06 -0500
parents 16f7cb0891b6
children
comparison
equal deleted inserted replaced
1029:53a22f46f377 1030:6bcc1020d5cd
78 78
79 fun ensql [avail] [ts ::: {(Type * Type)}] (r : $(map meta ts)) (vs : $(map snd ts)) (fl : folder ts) = 79 fun ensql [avail] [ts ::: {(Type * Type)}] (r : $(map meta ts)) (vs : $(map snd ts)) (fl : folder ts) =
80 map2 [meta] [snd] [fn ts :: (Type * Type) => sql_exp avail [] [] ts.1] 80 map2 [meta] [snd] [fn ts :: (Type * Type) => sql_exp avail [] [] ts.1]
81 (fn [ts] meta v => @sql_inject meta.Inject (meta.Parse v)) 81 (fn [ts] meta v => @sql_inject meta.Inject (meta.Parse v))
82 [_] fl r vs 82 [_] fl r vs
83
84 con private = fn t :: Type =>
85 {Nam : string,
86 Initialize : t,
87 Show : t -> xbody,
88 Inject : sql_injectable t}
89
90 fun initialize [ts] (r : $(map private ts)) (fl : folder ts) =
91 mp [private] [sql_exp [] [] []] (fn [t] r => @sql_inject r.Inject r.Initialize) [_] fl r