2726

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