From 9036d37ed921adc09f47896d404be8cfcaf6187f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 25 Jun 2014 14:19:58 -0400
Subject: Finish example

---
 tests/tags.ur | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'tests/tags.ur')

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
-- 
cgit v1.2.3