idris-hackers/idris-mode — pull request #96 by hannesm (2014-03-13 11:52:31+00:00)
Title: Since March 10th 2014 (commit 7437ebe5052250630ca52117dd50dbf3187807d5) ...

...- Idris 0.9.11.2

WARNING is of form (filename (startline startcolumn) (endline endcolumn) message &optional highlighting-spans)

Deal with it in a backwards-compatible way