AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK
GNU General Public License v3.0
229 stars 54 forks source link

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

Open Reissner opened 1 week ago

Reissner commented 1 week ago

Environment

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:

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

110983akd commented 6 days ago

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.