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
Merge pull request #96 from hannesm/fix-source-location-warnings

Since March 10th 2014 (commit 7437ebe5052250630ca52117dd50dbf3187807d5) ...