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