idris-hackers/idris-mode — pull request #268 by myrbock (2014-10-30 11:48:34+00:00)
Title: 'idris' is a group, name the checker idris-checker instead fixes #258

I had the same issue and this works for me.