Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
Reissner opened this issue Sep 17, 2024 · 2 comments
Open

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

Reissner opened this issue Sep 17, 2024 · 2 comments
Labels

Comments

@Reissner
Copy link

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

@Reissner Reissner added the bug label Sep 17, 2024
@110983akd
Copy link

110983akd commented Sep 18, 2024

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.

@pyjarrett
Copy link

I am also seeing a similar completion error, but mine is a DYNAMIC_PREDICATE failed:


[Error - 4:33:54 PM] Request textDocument/completion failed.
  Message: Exception: raised ADA.ASSERTIONS.ASSERTION_ERROR : DYNAMIC_PREDICATE failed at gpr2-project-view.adb:2813
Load address: 0x7ff6c6910000
[c:\Users\Paul\.vscode\extensions\adacore.ada-25.0.20241014-win32-x64\x64\win32\ada_language_server.exe]
0x7ff6c9fb7ef6 System.Assertions.Raise_Assert_Failure at s-assert.adb:44
0x7ff6c98c51c2 gpr2__project__view__unit_part at ???
0x7ff6c8cd6b4a Libadalang.Project_Provider.Get_Unit_Location at libadalang-project_provider.adb:784
0x7ff6c8cd714a Libadalang.Project_Provider.Get_Unit_And_Ple_Root at libadalang-project_provider.adb:852
0x7ff6c8cfde64 Libadalang.Public_Converters.Get_Unit_And_Ple_Root at libadalang-public_converters.adb:143
0x7ff6c86bda4d Libadalang.Implementation.Get_From_Provider at libadalang-implementation.adb:988
0x7ff6c82de04a Libadalang.Analysis.Get_From_Provider at libadalang-analysis.adb:684
0x7ff6c7b7b8ad Lsp.Ada_Documents.Compute_Completion_Item at lsp-ada_documents.adb:218
0x7ff6c7b29d62 Lsp.Ada_Completions.Write_Completions at lsp-ada_completions.adb:164
0x7ff6c7bf8405 Lsp.Ada_Handlers.On_Completion_Request at lsp-ada_handlers.adb:1479
0x7ff6c7be5089 Lsp.Ada_Handlers.On_Server_Request at lsp-ada_handlers.adb:3129
0x7ff6c6d03966 Lsp.Default_Message_Handlers.Execute at lsp-default_message_handlers.adb:85
0x7ff6c6d0f840 Lsp.Job_Schedulers.Process_Job at lsp-job_schedulers.adb:183
0x7ff6c7bbd6c4 Lsp.Servers.Processing_Task_TypeT at lsp-servers.adb:847
0x7ff6c9f12462 system__tasking__stages__task_wrapper at ???
[C:\Windows\System32\KERNEL32.DLL]
0x7ffbe41c7372
[C:\Windows\SYSTEM32\ntdll.dll]
0x7ffbe4fbcc8f

  Code: -32603 

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants