AdaCore / AdaCore/ada_language_server
[Bug]: Request textDocument/completion failed when typing `with Ada.`
Open
Nobody has claimed this yet.
bug
- Dominant language
- Ada
- Stars
- 304
- Forks
- 70
- PR merge metrics
- No merged PRs in 30d
Description
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
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the failure by creating an empty .adb file in VS Code and typing with Ada.; start with the textDocument/completion request and the Ada language server output shown in the report. Done means completion offers Ada subpackages without the LANGKIT_SUPPORT.ERRORS.PRECONDITION_FAILURE error.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- vscode
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 42/100