Mercurial > meta

comparison sql.ur @ 18:6cd839818393

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adjust to name change for [Top.id]
author Adam Chlipala <adam@chlipala.net>
date Thu, 29 Dec 2011 14:15:02 -0500
parents 959583692166
children 875221eee987
comparison
equal deleted inserted replaced
17:1a915f89f23a 18:6cd839818393
1 fun sqexps [env] [fields] (fl : folder fields) (inj : $(map sql_injectable fields)) (r : $fields) = 1 fun sqexps [env] [fields] (fl : folder fields) (inj : $(map sql_injectable fields)) (r : $fields) =
2 @map2 [sql_injectable] [id] [sql_exp env [] []] 2 @map2 [sql_injectable] [ident] [sql_exp env [] []]
3 (fn [t] => @sql_inject) 3 (fn [t] => @sql_inject)
4 fl inj r 4 fl inj r
5 5
6 fun selector [tn :: Name] [fs] [ofs] [fs ~ ofs] (fl : folder fs) (m : $(map sql_injectable fs)) (r : $fs) 6 fun selector [tn :: Name] [fs] [ofs] [fs ~ ofs] (fl : folder fs) (m : $(map sql_injectable fs)) (r : $fs)
7 : sql_exp [tn = ofs ++ fs] [] [] bool = 7 : sql_exp [tn = ofs ++ fs] [] [] bool =
8 @foldR2 [sql_injectable] [id] 8 @foldR2 [sql_injectable] [ident]
9 [fn key => rest :: {Type} -> [rest ~ key] => sql_exp [tn = key ++ rest] [] [] bool] 9 [fn key => rest :: {Type} -> [rest ~ key] => sql_exp [tn = key ++ rest] [] [] bool]
10 (fn [nm :: Name] [t :: Type] [key :: {Type}] [[nm] ~ key] 10 (fn [nm :: Name] [t :: Type] [key :: {Type}] [[nm] ~ key]
11 (inj : sql_injectable t) (v : t) 11 (inj : sql_injectable t) (v : t)
12 (exp : rest :: {Type} -> [rest ~ key] => sql_exp [tn = key ++ rest] [] [] bool) 12 (exp : rest :: {Type} -> [rest ~ key] => sql_exp [tn = key ++ rest] [] [] bool)
13 [rest :: {Type}] [rest ~ [nm = t] ++ key] => 13 [rest :: {Type}] [rest ~ [nm = t] ++ key] =>