diff options
| -rw-r--r-- | 060immutable.cc | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/060immutable.cc b/060immutable.cc index b715bec2..052fafd9 100644 --- a/060immutable.cc +++ b/060immutable.cc @@ -238,9 +238,10 @@ Transform.push_back(check_immutable_ingredients); // idempotent :(code) void check_immutable_ingredients(recipe_ordinal r) { - // to ensure a reagent isn't modified, it suffices to show that we never - // call get-address or index-address with it, and that any non-primitive - // recipe calls in the body aren't returning it as a product. + // to ensure an address reagent isn't modified, it suffices to show that + // a) we never write to its contents directly, + // b) we never call get-address or index-address with it, and + // c) any non-primitive recipe calls in the body aren't returning it as a product const recipe& caller = get(Recipe, r); trace(9991, "transform") << "--- check mutability of ingredients in recipe " << caller.name << end(); if (!caller.has_header) return; // skip check for old-style recipes calling next-ingredient directly |