idris-lang/Idris-dev — pull request #1380 by david-christiansen (2014-07-11 11:59:57+00:00)
Title: Get rid of `trace` in error def

This breaks the IDESlave protocol.