Skip to content
New issue

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

Formatting failure with or terminate #1185

Open
pyjarrett opened this issue Mar 8, 2024 · 0 comments
Open

Formatting failure with or terminate #1185

pyjarrett opened this issue Mar 8, 2024 · 0 comments
Assignees
Labels

Comments

@pyjarrett
Copy link

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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants