idris-lang/Idris-dev — pull request #585 by david-christiansen (2013-11-03 12:53:45+00:00)
Title: Properly show errors in batch compile mode

Fixes #578