Looks like github already knows Idris but since this is not in the main branch they cannot benefit from syntax highlighting. I'm honestly a bit frustrated with the non-responsiveness of the pygments developers.
Thanks a lot for merging :D I'd be fine with that 'raichoo' will do. Most people just know me by that name :) If that's not ok you can just leave me out. I'm happy enough I could get that code into pygments :)
Of course. I can check later tonight. I'm currently at work. I will send a pull request after I've figured out what's going wrong. How do you check highlighting. It seems to work just fine over here. Maybe I'm just not seeing what's going wrong.
The problem is that an Error token is generated. This will not lead to an error on highlighting, but usually a styling like "red background". Since error tokens shouldn't be generated for valid files, Pygments' test suite ensures that no such token is generated when processing the example files.
You can use scripts/find_error.py in the source to display the generated tokens and the state stack before the Error token is generated.