Clarify that predeclared names can be redefined in the code.

Fix bazelbuild#282
laurentlb · Jul 31, 2024 · cfbc67b · cfbc67b
1 parent 5ca1018
commit cfbc67b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/spec.md b/spec.md
@@ -1363,7 +1363,8 @@ An application may pre-declare additional names
 to provide domain-specific functions to that file, for example.
 These additional functions may have side effects on the application.
 Starlark programs cannot change the set of predeclared bindings
-or assign new values to them.
+or assign new values to them (but they can be redefined in a
+smaller block).
 
 Nested beneath the predeclared block is the _module_ block,
 which contains the bindings of the current module.