search

starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.
Apache License 2.0
1.6k stars 495 forks source link

bug: Wrongly mapped diagnostics in LS #6394

Closed Arcticae closed 1 month ago

Arcticae commented 2 months ago

The diagnostics are being refreshed for VFS files again, which leads to wrongly mapping them to VFS files instead of user code

Example:

image

orizi commented 1 month ago

I would not consider it Wrongly mapped - it is just also mapped for the VFS file.

we can rather easily make it actually point to the error within the generated file if it was opened (by stopping the remapping upon getting to the generated file)