Mercurial > urweb
changeset 2032:884673e5f7d5
Finish example
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 25 Jun 2014 14:19:58 -0400 (2014-06-25) |
parents | d11a7a9c4a73 |
children | ea0ecd5fa9df |
files | tests/tags.ur |
diffstat | 1 files changed, 4 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/tests/tags.ur Wed Jun 25 14:04:13 2014 -0400 +++ b/tests/tags.ur Wed Jun 25 14:19:58 2014 -0400 @@ -11,7 +11,10 @@ Present => (SELECT I.Id AS Id FROM ({{q}}) AS I JOIN tags ON tags.Id = I.Id AND tags.Tag = {[c.Tag]}) - | Absent => q + | Absent => (SELECT I.Id AS Id + FROM ({{q}}) AS I + LEFT JOIN tags ON tags.Id = I.Id AND tags.Tag = {[c.Tag]} + WHERE tags.Tag IS NULL) fun withConditions (cs : list condition) : tag_query = List.foldl addCondition (SELECT images.Id AS Id FROM images) cs