idris-lang/Idris-dev — pull request #1180 by david-christiansen (2014-05-02 18:34:42+00:00)
Title: Make missing imports errors follow the IDESlave protocol

Now, IDESlave clients can show missing import errors properly rather than having it sent as REPL output.

RE idris-hackers/idris-mode#48
RE #879