Mercurial > urweb

comparison lib/ur/top.urs @ 1074:d89f98f0b4bb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fixing a bug in DInitializer elaboration
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:34:18 -0500
parents 9001966ae1c8
children dcf98ae3c48d
comparison
equal deleted inserted replaced
1073:b2311dfb3158 1074:d89f98f0b4bb
171 val oneRowE1 : tabs ::: {Unit} -> nm ::: Name -> t ::: Type 171 val oneRowE1 : tabs ::: {Unit} -> nm ::: Name -> t ::: Type
172 -> [tabs ~ [nm]] => 172 -> [tabs ~ [nm]] =>
173 sql_query (mapU [] tabs) [nm = t] 173 sql_query (mapU [] tabs) [nm = t]
174 -> transaction t 174 -> transaction t
175 175
176 val nonempty : fs ::: {Type} -> us ::: {{Unit}} -> sql_table fs us
177 -> transaction bool
178
176 val eqNullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 179 val eqNullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
177 -> t ::: Type -> sql_injectable (option t) 180 -> t ::: Type -> sql_injectable (option t)
178 -> sql_exp tables agg exps (option t) 181 -> sql_exp tables agg exps (option t)
179 -> sql_exp tables agg exps (option t) 182 -> sql_exp tables agg exps (option t)
180 -> sql_exp tables agg exps bool 183 -> sql_exp tables agg exps bool