idris-lang/Idris-dev — pull request #731 by hannesm (2013-12-16 00:39:23+00:00)
Title: on error, report the column, as well as the line number in the ideslave ...

...mode.

this was suggested in #312 and I think it is a good idea