This extension is still in development. Things may not work correctly. Things may break. The world may end.
This extension was developed largely in response to the horrible quality of Ada syntax highlighters, whether for VS Code or otherwise. It's all too apparent they were created by people who barely, if at all, work with the language.
As I've developed this, I feel like the TextMate grammar approach is very insufficient. A language server for VS Code would need to be implemented to better highlight the source code, especially for cases where RegEx will always fall short, like types within generic initializers, or function names versus type constraints. I'll still update this grammar in the meantime, until a language server can be developed.
Help Me Out
Good quality extensions take a lot of time. Considerably more than just "meh, close enough" level work. If you'd like to help out but don't know how to contribute to the code, consider donating to this projects .
If you're one for actually contributing, a repo is located on GitHub. Clone the repo, make your changes, and create a pull request. Assuming they meet quality standards and conventions, it will be integrated.
Sometimes I just don't see an issue with the syntax highlighter, so if you notice something not being highlighted or being highlighted wrong, please file an issue report, and include a screenshot.
Works Best With
Proofs in the Screenshot