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

Aiken LSP Hover on generic functions #904

Open
1 of 4 tasks
MicroProofs opened this issue Apr 2, 2024 · 0 comments
Open
1 of 4 tasks

Aiken LSP Hover on generic functions #904

MicroProofs opened this issue Apr 2, 2024 · 0 comments
Labels
bug Something isn't working language-server Language Server

Comments

@MicroProofs
Copy link
Member

MicroProofs commented Apr 2, 2024

What Git revision are you using?

Latest main

What operating system are you using, and which version?

  • Linux / Ubuntu
  • Linux / Other
  • macOS
  • Windows

Describe what the problem is?

LSP gets confused when hovering on generic functions that were previously used with a different type.

What should be the expected behavior?

It infers the type as 'a' instead of the actual type.

left is List
and level_one is List<(Int, Bytearray)>

Screenshot 2024-04-01 at 11 18 04 PM

@MicroProofs MicroProofs changed the title Aiken LSp Aiken LSP Hover on generic functions Apr 2, 2024
@KtorZ KtorZ added bug Something isn't working language-server Language Server labels May 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working language-server Language Server
Projects
Status: 🔨 Todo
Development

No branches or pull requests

2 participants