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

[Bug] VSCode Leo extension needs to be updated #28530

Open
alexanderkim11 opened this issue Mar 17, 2025 · 0 comments
Open

[Bug] VSCode Leo extension needs to be updated #28530

alexanderkim11 opened this issue Mar 17, 2025 · 0 comments
Labels
bug Something isn't working tooling

Comments

@alexanderkim11
Copy link

🐛 Bug Report

I believe that the VSCode extension for Leo is running on an older version of the Leo compiler than 2.4.1. It reports compilation errors for code that compiles successfully when done via the CLI.

Image

Image

Your Environment

Leo 2.4.1
Rust 1.85.0
Windows 11
@alexanderkim11 alexanderkim11 added the bug Something isn't working label Mar 17, 2025
@alexanderkim11 alexanderkim11 changed the title [Bug] VSCode Leo Extension Needs to be Updated [Bug] VSCode Leo extension needs to be updated Mar 17, 2025
@vicsn vicsn added the tooling label Mar 17, 2025
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 tooling
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@vicsn @alexanderkim11