idris-hackers/idris-mode — pull request #248 by david-christiansen (2014-09-09 09:07:29+00:00)
Title: Add test that error buffer shows up

This should duplicate #247, but it doesn't. So I'll close it, for now, and consider it a quirk of how he ran the byte compiler.