AdaCore / AdaCore/ada_language_server
[Bug]: Latest version of libadalang is reporting spurious errors in vscode
@AnthonyLeonardoGracio is already working on this.
Since Jul 7, 2026.
- 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!
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
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.
Assessment
This issue has not been assessed yet.