idris-lang/Idris-dev — pull request #1501 by david-christiansen (2014-08-30 22:52:14+00:00)
Title: Uniquify binder names when leaving executor

This mimics the evaluator more closely and prevents shadowing bugs.