Commits

Yit Phang Khoo  committed 2025d57

Add an assertion and a comment about the new exact dirtying maintenance logic.

  • Participants
  • Parent commits 245893f

Comments (0)

Files changed (1)

File Source/AdaptonZoo/Adapton.ml

                         incr Statistics.Counts.dirty;
                         d.flag <- Dirty;
                         d.dependent.dependents::ds
-                    end else
+                    end else (* either Clean or Obsolete *)
                         ds
                 end d ds end
             | [] ->
                         if d.flag == Dirty then begin
                             d.flag <- Clean;
                             d.receipt.check (fun c -> if c then (incr Statistics.Counts.clean; repair ds) else k (evaluate ()))
-                        end else
+                        end else begin
+                            assert (d.flag == Clean);
                             repair ds
+                        end
                     | [] ->
                         k ( value, receipt )
                 in