hannesm/Idris-dev — pull request #3 by david-christiansen (2014-08-04 12:59:28+00:00)
Title: Send prover errors back with spans instead of ANSI

This requires an update to clients to allow an optional span list on
prover errors.