Clarify that predeclared names can be redefined in the code.

Fix #282
bazelbuild · Jul 31, 2024 · 24ebdbe · 24ebdbe
1 parent c8d88c3
commit 24ebdbe
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.