idris-lang/Idris-dev — pull request #966 by david-christiansen (2014-03-10 15:42:42+00:00)
Title: Error reflection

Removes the ability to reflect "plumbing" error messages, such as `At` and `Elaborating`. The compiler now does the right thing with regards to these - reflecting on their contents and re-wrapping the result.