update

diff --git a/doc/todo/dependency_types.mdwn b/doc/todo/dependency_types.mdwn
index 56153239f5cc1462a235c5abdbddc94a715fda3f..f06603874ab5331bd98188db2a44149db359b330 100644 (file)
--- a/doc/todo/dependency_types.mdwn
+++ b/doc/todo/dependency_types.mdwn
@@ -520,15 +520,19 @@ ANDed with another object, drops their influences. (But when ORed, combines
 them.) Fixes the above, but does it always work?
 
 "(bugs/* or link(patch)) and backlink(index)" =>
 them.) Fixes the above, but does it always work?
 
 "(bugs/* or link(patch)) and backlink(index)" =>

-`( HardFailReason() | SuccessReason(patch) ) & SuccessReason(index)`` =>
-`SuccessReason(patch) & SuccessReason(index)` =>
-SuccessReason(patch, index) => right
+`( HardFailReason() | SuccessReason(page) ) & SuccessReason(index)`` =>
+`SuccessReason(page & SuccessReason(index)` =>
+SuccessReason(page, index) => right

 
 "(bugs/* and link(patch)) or backlink(index)" =>
 
 "(bugs/* and link(patch)) or backlink(index)" =>

-`( HardFailReason() & SuccessReason(patch) ) | SuccessReason(index)`` =>
+`( HardFailReason() & SuccessReason(page) ) | SuccessReason(index)`` =>

 `HardFailReason() | SuccessReason(index)` =>
 `SuccessReason(index)` => right
 
 `HardFailReason() | SuccessReason(index)` =>
 `SuccessReason(index)` => right
 

+"!bugs/* and link(patch)" =>
+`HardFailReason() | SuccessReason(bugs/foo)` =>  
+`HardFailReason()` => right
+

 #### High-level Calculation and Storage
 
 Naively calculating the full influence list for a pagespec requires trying
 #### High-level Calculation and Storage
 
 Naively calculating the full influence list for a pagespec requires trying