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