idris-lang/Idris-dev — pull request #838 by david-christiansen (2014-02-03 07:09:41+00:00)
Title: Fix display of CantConvert

There was a missing newline.