On Wed, 31 Oct 2001, Damian Conway wrote: > To me C<is const> means: "the *value* stored in the memory > implementing this variable cannot be changed". Which doesn't preclude > rebinding the variable to some *other* memory. > > But others have a different (and equally reasonable) interpretation of > C<is const>: "the value I get from this variable will always be the > same".
Then maybe we shouldn't call it 'is const'? Or maybe another tag is needed in addition, like 'is unbindable' for the latter case. - D <[EMAIL PROTECTED]>