idris-lang/Idris-dev — pull request #990 by david-christiansen (2014-03-21 15:17:38+00:00)
Title: Add more context to unification errors internally

This is a step towards re-enabling and greatly simplifying argument-specific error reflection