edwinb/Idris-dev — pull request #483 by yfyf (2013-09-14 13:36:59+00:00)
Title: Indent terms printed in typechecking errors

This should make errors more readable, i.e. instead of printing:

Can't unify with

this change makes it print

Can't unify

with

and similarly for other errors.