diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-06-25 14:19:58 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-06-25 14:19:58 -0400 |
| commit | 9036d37ed921adc09f47896d404be8cfcaf6187f (patch) | |
| tree | b2af1a649be8a943dac091e295f52b5b08f63459 /tests/tags.ur | |
| parent | 547fc262a0cdf2363f8eb9ec75bea2f3dcaa9e83 (diff) | |
Finish example
Diffstat (limited to 'tests/tags.ur')
| -rw-r--r-- | tests/tags.ur | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/tags.ur b/tests/tags.ur index 1213d824..059e869a 100644 --- a/tests/tags.ur +++ b/tests/tags.ur @@ -11,7 +11,10 @@ fun addCondition (c : condition) (q : tag_query) : tag_query = 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 |