This PR fixes the name capture bug above simply by rendering names with a leading dot whenever the fully-qualified name is captured by a local binding.
No other changes appear to be necessary – we already parsed absolute names correctly, and we already disallow using an absolute name as a local variable binding.
Overview
Fixes #5380
This PR fixes the name capture bug above simply by rendering names with a leading dot whenever the fully-qualified name is captured by a local binding.
No other changes appear to be necessary – we already parsed absolute names correctly, and we already disallow using an absolute name as a local variable binding.
Test coverage
I've added a transcript