idris-lang/Idris-dev — pull request #883 by david-christiansen (2014-02-12 22:53:59+00:00)
Title: Highlight errors in ideslave

Fixes #880.