idris-lang/Idris-dev — pull request #553 by david-christiansen (2013-10-21 09:25:58+00:00)
Title: Have --ideslave print errors properly

Before, it was using the Show instance, whereas now it calls the
pretty-printer for errors.

Fixes #549.