idris-hackers/idris-mode — pull request #159 by david-christiansen (2014-05-23 18:12:07+00:00)
Title: Fix errors from overzealous eldoc

The eldoc support would sometimes cause Idris to return errors, which
would trigger an error buffer by just moving the cursor. This disables
that behavior, making errors in eldoc more silent.