We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
or terminate
When using the Ada & SPARK v24.0.4 plugin, I get a "Request textDocument/formatting failed" when trying to format https://github.com/pyjarrett/septum/blob/main/src/common/sp-cache.adb
Deleting elements from the file, it seems the formatter dies as a result of or terminate in this snippet:
select accept Wake; or terminate; -- changing this to `delay 1.0;` results in no formatter failure end select;
The error text in the language server output is:
[Error - 10:49:10 PM] Request textDocument/formatting failed. Message: sp-cache.adb:17:1: Error formatting node (CompilationUnit). Keeping the initial input selection unchanged pp-formatting.adb:1247
The text was updated successfully, but these errors were encountered:
joaopsazevedo
No branches or pull requests
When using the Ada & SPARK v24.0.4 plugin, I get a "Request textDocument/formatting failed" when trying to format https://github.com/pyjarrett/septum/blob/main/src/common/sp-cache.adb
Deleting elements from the file, it seems the formatter dies as a result of
or terminate
in this snippet:The error text in the language server output is:
The text was updated successfully, but these errors were encountered: