idris-lang/Idris-dev — pull request #1661 by david-christiansen (2014-10-18 19:20:35+00:00)
Title: No longer show __infer in pretty-printed errors

__infer is an implementation detail and shouldn't leak. Fixes #1626.

Old error:

> a
(input):1:1:When elaborating an application of constructor __infer:
No such variable a

New error:

> a
(input):1:1:No such variable a