AdaCore / AdaCore/ada_language_server

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

Open
#1,206 2 comments 1 reaction 0 assignees View on GitHub

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

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.