summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-02-03 21:04:12 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-02-03 21:04:12 -0500
commit58c927541d3960c0bca5636c05e499246d3cecef (patch)
tree0d7561a584be03f1fbd5a3297a101e3c54bf7ba9 /lib
parent426f4427ff7a2d58e86f533ad8bb79a0b6b89d31 (diff)
Subqueries may always return NULL
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/basis.urs5
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index da703d40..795b4f9a 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -529,9 +529,10 @@ val sql_nullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} ->
-> sql_exp tables agg exps t
-> sql_exp tables agg exps (option t)
-val sql_subquery : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> nm ::: Name -> t ::: Type
+val sql_subquery : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> nm ::: Name -> t ::: Type -> nt ::: Type
+ -> nullify t nt
-> sql_query tables agg [] [nm = t]
- -> sql_exp tables agg exps t
+ -> sql_exp tables agg exps nt
(*** Executing queries *)