edwinb/Idris-dev — pull request #471 by david-christiansen (2013-09-04 17:05:47+00:00)
Title: Colourise some error messages

Some error messages are now colourised as well. We assume that all unbound
names are implicit arguments, as the error message doesn't have sufficient
context otherwise.