AdaCore / AdaCore/ada_language_server

[Bug]: Latest version of libadalang is reporting spurious errors in vscode

Open
#1,304 4 comments 0 reactions 1 assignee View on GitHub

@AnthonyLeonardoGracio is already working on this.

Since Jul 7, 2026.

bug
Dominant language
Ada
Stars
304
Forks
70
PR merge metrics
No merged PRs in 30d

Description

Environment
  • OS and Version: Debian 12.
  • IDE Version: Visual Studio Code 1.127.0
  • Ada & SPARK Extension Version: 2026.3.202607051
Bug Summary and Reproducer

Bug Summary:

After updating to the latest version of the Ada & SPARK vscode plugin, I'm getting a lot of highlighted errors in my code (see screenshots). All of these errors seem to be the plugin having difficulties resolving symbols and types. These errors were definitely not present prior to upgrading.

Thank you for your time!

Image Image

Steps to reproduce: Open project files.

Expected behavior: No incorrect errors shown.

Configuration and Logs
2026-07-07 17:54:15.575 [Ada Extension] INFO     Setting log level to: info 
2026-07-07 17:54:15.576 [Ada Extension] INFO     Starting Ada extension 
2026-07-07 17:54:15.578 [Ada Extension] INFO     Using ALS at: /home/ajxs/.vscode/extensions/adacore.ada-2026.3.202607051-linux-x64/x64/linux/ada_language_server 
2026-07-07 17:54:15.583 [Ada Extension] INFO     Using ALS at: /home/ajxs/.vscode/extensions/adacore.ada-2026.3.202607051-linux-x64/x64/linux/ada_language_server 
2026-07-07 17:54:17.081 [Ada Extension] INFO     didChangeConfiguration event received 
2026-07-07 17:54:19.245 [Ada Extension] INFO     Loading e3-testsuite: {"uri":{"$mid":1,"path":"/home/ajxs/src/straylight/testsuite.py","scheme":"file"},"python":"python"} 
2026-07-07 17:54:19.245 [Ada Extension] INFO     /home/ajxs/src/straylight/testsuite.py doesn't exist, doing nothing. 
2026-07-07 17:54:19.245 [Ada Extension] INFO     Finished starting Ada extension 
2026-07-07 17:54:19.665 [Ada Extension] WARN     Failed to get Project.Compiler.Driver ("ada"): The queried attribute is not known 
2026-07-07 17:54:19.665 [Ada Extension] WARN     Assuming empty target prefix 
2026-07-07 17:54:19.665 [Ada Extension] WARN     Failed to get Project.Compiler.Driver ("ada"): The queried attribute is not known 
2026-07-07 17:54:19.665 [Ada Extension] WARN     Assuming empty target prefix 
2026-07-07 17:54:19.665 [Ada Extension] WARN     Failed to get Project.Compiler.Driver ("ada"): The queried attribute is not known 
2026-07-07 17:54:19.665 [Ada Extension] WARN     Assuming empty target prefix 
2026-07-07 18:29:24.252 [Ada Extension] INFO     Restarting language servers, updating the process environment first... 
2026-07-07 18:29:24.253 [Ada Extension] INFO     Restarting language server: Ada Language Server 
2026-07-07 18:29:24.343 [Ada Extension] INFO     Restarting language server: GPR Language Server 
2026-07-07 18:29:24.423 [Ada Extension] INFO     Language servers have been restarted, clearing cache and tasks 
2026-07-07 18:29:25.495 [Ada Extension] WARN     Failed to get Project.Compiler.Driver ("ada"): The queried attribute is not known 
2026-07-07 18:29:25.495 [Ada Extension] WARN     Assuming empty target prefix 
2026-07-07 18:41:36.155 [Ada Extension] INFO     didChangeConfiguration event received
Other VS Code Extensions

No response

Additional context

All of the relevant code can be found her: https://github.com/ajxs/straylight
The project file used is: https://github.com/ajxs/straylight/blob/master/src/kernel/straylight.gpr

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.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.