atom-language-idris icon indicating copy to clipboard operation
atom-language-idris copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

Better error reporting

Open archaeron opened this issue 10 years ago • 0 comments

As reported by @edwinb in https://youtu.be/X36ye-1x_HQ?t=32m33s

The error messages look like this currently: idris_error_messages

They can't be styled and they don't have any syntax highlighting

archaeron avatar Oct 16 '15 12:10 archaeron