add comment

AlgebraicJulia · May 20, 2024 · a0a983c · a0a983c
1 parent 504f2bb
commit a0a983c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/incremental/IncrementalCC.jl b/src/incremental/IncrementalCC.jl
@@ -240,7 +240,9 @@ function deletion!(::IncCCStatic, runt::IncCCRuntime, constr::IncConstraints,
     for (idx′, m) in collect(dic)
       m′ = pull_back(f, m)
       # Delete if match refers to something deleted OR we have invalidated a PAC
-      if isnothing(m′) || !can_match(constr, m′; nac=false)
+      # TODO: pass into `can_match` *which* parts were deleted, if P\L does not 
+      # have any such parts, we can skip.
+      if isnothing(m′) || !can_match(constr, m′; nac=false) 
         delete!(dic, idx′)
         delete!(key_dict(runt), idx => idx′)
         push!(invalidated_keys, idx => idx′)