Mercurial > urweb

comparison lib/ur/basis.urs @ 1136:32710de7227b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Small tweaks
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Jan 2010 20:10:32 -0500
parents 4f3a1aa3b66d
children b7118ffd32ae
comparison
equal deleted inserted replaced
1135:0aa2758cca32 1136:32710de7227b
269 -> sql_exp (fs ++ fs') (agg ++ agg') (exps ++ exps') t 269 -> sql_exp (fs ++ fs') (agg ++ agg') (exps ++ exps') t
270 270
271 val check : fs ::: {Type} 271 val check : fs ::: {Type}
272 -> sql_exp [] [] fs bool 272 -> sql_exp [] [] fs bool
273 -> sql_constraint fs [] 273 -> sql_constraint fs []
274
275 274
276 275
277 (*** Queries *) 276 (*** Queries *)
278 277
279 con sql_query :: {{Type}} -> {Type} -> Type 278 con sql_query :: {{Type}} -> {Type} -> Type