idris-lang/Idris-dev — pull request #987 by david-christiansen (2014-03-20 19:01:47+00:00)
Title: Unifier context

Adds context information to the unification errors. In particular, they now state the function being applied and, if it is named, the argument in question.

This is also the first step toward controlled scope in error reflection, but the usefulness is independent.