Mercurial > urweb

comparison lib/ur/basis.urs @ 1421:3dab4696d116

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Subqueries may always return NULL
author Adam Chlipala <adam@chlipala.net>
date Thu, 03 Feb 2011 21:04:12 -0500
parents 00b79f39be25
children 541673c3161d
comparison
equal deleted inserted replaced
1420:146b69c53304 1421:3dab4696d116
527 val sql_nullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> t ::: Type 527 val sql_nullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> t ::: Type
528 -> sql_injectable_prim t 528 -> sql_injectable_prim t
529 -> sql_exp tables agg exps t 529 -> sql_exp tables agg exps t
530 -> sql_exp tables agg exps (option t) 530 -> sql_exp tables agg exps (option t)
531 531
532 val sql_subquery : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> nm ::: Name -> t ::: Type 532 val sql_subquery : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> nm ::: Name -> t ::: Type -> nt ::: Type
533 -> nullify t nt
533 -> sql_query tables agg [] [nm = t] 534 -> sql_query tables agg [] [nm = t]
534 -> sql_exp tables agg exps t 535 -> sql_exp tables agg exps nt
535 536
536 (*** Executing queries *) 537 (*** Executing queries *)
537 538
538 val query : tables ::: {{Type}} -> exps ::: {Type} 539 val query : tables ::: {{Type}} -> exps ::: {Type}
539 -> [tables ~ exps] => 540 -> [tables ~ exps] =>