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.

Sign up for GitHub

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

Jump to bottom

The pop-up window for errors doesn't contain proper error message #80

Open
lukaszcz opened this issue May 24, 2023 · 4 comments
Open

The pop-up window for errors doesn't contain proper error message #80

lukaszcz opened this issue May 24, 2023 · 4 comments
Labels
bug Something isn't working

Comments

@lukaszcz
Copy link
Contributor

image

It should describe the error.
@lukaszcz lukaszcz added the bug Something isn't working label May 24, 2023
@vrom911 vrom911 mentioned this issue May 24, 2023
Closed
@jonaprieto
Copy link
Collaborator

@lukaszcz
Copy link
Contributor Author

lukaszcz commented Sep 5, 2024

Still doesn't work for typechecking:
image

@lukaszcz lukaszcz reopened this Sep 5, 2024
@lukaszcz
Copy link
Contributor Author

lukaszcz commented Sep 5, 2024

I'd expect the error message

The expression kvListl has type:
  List (Pair Bytes32 Bytes)
but is expected to have type:
  Transaction

to be in the pop-up window

@jonaprieto
Copy link
Collaborator

Oh. Very true.

@jonaprieto jonaprieto mentioned this issue Sep 5, 2024
Draft
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix multiple errors in the error pop-ups anoma/vscode-juvix
2 participants
@lukaszcz @jonaprieto