1.1 --- a/docs/concepts.txt Sun Jun 03 20:50:19 2012 +0200
1.2 +++ b/docs/concepts.txt Mon Jun 04 01:03:02 2012 +0200
1.3 @@ -33,6 +33,14 @@
1.4 a class as a key to the object table, where the full name is a qualified path
1.5 via the module hierarchy ending with the name of the class.
1.6
1.7 +Rebinding of attributes outside classes and modules can be allowed if
1.8 +attribute usage observations are being used to detect such external
1.9 +modifications to such objects. Without such observations, such rebinding
1.10 +should be forbidden since apparently constant attributes might be modified in
1.11 +a running program, but code may have been generated that provides specific
1.12 +objects for those attributes under the assumption that they will not be
1.13 +changed.
1.14 +
1.15 See rejected.txt for complicating mechanisms which could be applied to
1.16 mitigate the effects of these restrictions on optimisations.
1.17