search

meraymond2 / idris-vscode

Idris front-end for VS Code
MIT License
59 stars 10 forks source link

Having issue with extension #90

Closed MoonApache closed 1 year ago

MoonApache commented 1 year ago

Hello, having this erorr on macOS:

[error] Error: Illegal argument: line must be non-negative at v (/Applications/Visual Studio

meraymond2 commented 1 year ago

Hi, did you find a solution to this problem? I have an idea of what might cause it but haven't had a chance to reproduce it yet.

MoonApache commented 1 year ago

I had found that when you open folder where is file it works , but if you open folder , where is folder with the file it cannot work

funarog commented 1 year ago

I am having issues how do I test?

meraymond2 commented 1 year ago

Hey, are you having the same issue? line must be non-negative