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

[Bug]: Request textDocument/completion failed when typing with Ada. #1206

Open
Reissner opened this issue Sep 17, 2024 · 1 comment
Open
Labels

Comments

@Reissner
Copy link

Environment

  • OS and Version:suse linux
  • IDE Version: vscode 1.93.1
  • Ada & SPARK Extension Version: v24.0.6

Bug Summary and Reproducer

Bug Summary:

When typing

with Ada.

in an empty ADV file,
I am not given a choice of packages but the error pops up:

Request testDocuments/completion failed. 
Source: ada & SPARK

Then there is a button Go to output and pressing it unveils:

[Error - 5:08:36 PM] Request textDocument/completion failed.
  Message: Exception: LANGKIT_SUPPORT.ERRORS.PRECONDITION_FAILURE (null node argument)
  Code: -32603 

Steps to reproduce:

  • new adb file
  • type in as said above

Expected behavior:

I would have expected a popup with the available sub-packages of Ada.

Configuration and Logs

I don't find my `tasks.json`, help, I would like to provide you. 
Log from `Ada: Show extension output from the VS Code command palette`:

2024-09-17 08:55:08.923 [Ada Extension] INFO     Setting log level to: info 
2024-09-17 08:55:08.924 [Ada Extension] INFO     Starting Ada extension 
2024-09-17 08:55:08.925 [Ada Extension] INFO     Using ALS at: /home/ernst/.vscode/extensions/adacore.ada-24.0.6/x64/linux/ada_language_server 
2024-09-17 08:55:08.935 [Ada Extension] INFO     Using ALS at: /home/ernst/.vscode/extensions/adacore.ada-24.0.6/x64/linux/ada_language_server 
2024-09-17 08:55:09.174 [Ada Extension] INFO     Finished starting Ada extension 

log from Ada language server given above

Other VS Code Extensions

No response

Additional context

No response

@Reissner Reissner added the bug label Sep 17, 2024
@110983akd
Copy link

110983akd commented Sep 18, 2024

Screenshot 2024-09-18 093233
Screenshot 2024-09-18 093412
This is the problem i got as well. All my projects worked fine 3 days ago, but today I get the same error as described.

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

2 participants