2727 - don't ignore /space: in immutability checks

Right now there's now way to tag variables from surrounding spaces
(lexical scopes) as immutable. Should I assume they're immutable unless
the surrounding space is passed out in addition to passed in? What if it
comes from a global?

Or should we explicitly specify modified variables in the header, even
if they'll never be saved anywhere?

We don't use these features much yet, wait until we need it. Mutability
checks are an optional layer and can't cause memory corruption. Lack of
type-checking in the global space, however, *can* cause memory
corruption. That's the biggest open issue right now.

0 files changed, 0 insertions, 0 deletions