From 6fd9e7686d122eb52f63170a5fd9167790c8e90a Mon Sep 17 00:00:00 2001 From: psxvoid Date: Fri, 20 Dec 2024 07:12:59 +0000 Subject: [PATCH] Added a comment: update 3: strange union behavior --- ...ment_6_3b614fe1250aca7e12f41473f317ea00._comment | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 doc/todo/Adding_unmatched_files_to_a_view/comment_6_3b614fe1250aca7e12f41473f317ea00._comment diff --git a/doc/todo/Adding_unmatched_files_to_a_view/comment_6_3b614fe1250aca7e12f41473f317ea00._comment b/doc/todo/Adding_unmatched_files_to_a_view/comment_6_3b614fe1250aca7e12f41473f317ea00._comment new file mode 100644 index 0000000000..c309555412 --- /dev/null +++ b/doc/todo/Adding_unmatched_files_to_a_view/comment_6_3b614fe1250aca7e12f41473f317ea00._comment @@ -0,0 +1,13 @@ +[[!comment format=mdwn + username="psxvoid" + avatar="http://cdn.libravatar.org/avatar/fde068fbdeabeea31e3be7aa9c55d84b" + subject="update 3: strange union behavior" + date="2024-12-20T07:12:59Z" + content=""" +After closer inspection of the view described in the previous comment, seems like the content of `_` is NOT pure union of \"all except tag-a and tag-b\". + +I was hoping that the content of \"unset dir\" will be `_ = dir-c-children - (tag-a ∪ dir-c-children)∪(tag-b ∪ dir-c-children)`. +Or simply `_ = (dir-c-children ∪ !(tag-a ∪ tag-b)`. + +But what I'm observing is that `_` contains some dir-c-children that are also part of `tag-b` but not `tag-c` (`_ = dir-c-children ∪ !(tag-a)`). +"""]]