search

meraymond2 / idris-vscode

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

Could not start Idris process #33

Open zenntenn opened 3 years ago

zenntenn commented 3 years ago

I'm setting up on a new machine.

I am running VS Code in Windows 10, and Idris2 via MSYS2. I am using the latest 0.3.0 master for Idris2 as of filing this bug.

I do have Idris2 Mode checked.

From cmd running C:\msys64\home\HillerupJ.idris2\bin\idris2 starts up the Idris2 repl just fine. I've also tried C:\msys64\home\HillerupJ.idris2\bin\idris2.cmd, same thing.

Error message is Could not start Idris process with: C:\msys64\home\HillerupJ.idris2\bin\idris2

meraymond2 commented 3 years ago

Thanks for raising an issue, I'll try to reproduce it :+1:

meraymond2 commented 3 years ago

Hey, after two days, I've still not managed to get Idris2 to compile in Windows, but I have compiled 0.3.0 on Linux and that's also failing to start. I'm curious if it's the same issue, or two separate problems.

Are you seeing any warnings when you start the repl? I am seeingUncaught error: (implicit):1:1--1:1:Prelude not found. If I try to run Idris2 in ide mode, it only prints out that error and crashes.

What do you get if you try to run C:\msys64\home\HillerupJ.idris2\bin\idris2 --ide-mode?

zenntenn commented 3 years ago

This is what I get before updating from master:


     ____    __     _         ___
    /  _/___/ /____(_)____   |__ \
    / // __  / ___/ / ___/   __/ /     Version 0.3.0-8cee40473
  _/ // /_/ / /  / (__  )   / __/      https://www.idris-lang.org
 /___/\__,_/_/  /_/____/   /____/      Type :? for help

Welcome to Idris 2.  Enjoy yourself!
Main> :q
Bye for now!

c:\msys64\home\HillerupJ>C:\msys64\home\HillerupJ\.idris2\bin\idris2 --ide-mode
000018(:protocol-version 2 0)
zenntenn commented 3 years ago

Then it just sits there waiting.

I'm updating Idris2 now and will post again after.

zenntenn commented 3 years ago

Same results with the latest code.

meraymond2 commented 3 years ago

This is what I get before updating from master:

That looks correct.

Then it just sits there waiting.

yeah, that's correct too, it's waiting for input.

I am making progress compiling Idris2 on my windows machine, but it's slow because I never use Windows for development, so I'm having to set up everything. I have at least confirmed that the plugin is still working with Idris1 on Windows.

In the meantime, can we make sure it's not one of the other flags? What is the output of C:\msys64\home\HillerupJ.idris2\bin\idris2 --ide-mode --find-ipkg --console-width 0? I doubt that's the issue, but it would be good to rule it out.

zenntenn commented 3 years ago

Same with the other flags:


c:\msys64\home\HillerupJ>C:\msys64\home\HillerupJ\.idris2\bin\idris2 --ide-mode --find-ipkg --console-width 0
000018(:protocol-version 2 0)
meraymond2 commented 3 years ago

I've gotten a bit further with getting Idris2 working on my windows machine, but I've run into this. How are you compiling Idris, are you first compiling your own copy of Chez Scheme?

If you have time to do more debugging, you could try running the tests in https://github.com/meraymond2/idris-ide-client. That's what the vscode plugin is using to start the Idris 2 process, so it might supply a bit more output as to why the process is failing to start. You can change the path in the tests here. You may also want to comment out the Idris 1 tests if you don't have that instaled.

zenntenn commented 3 years ago

@meraymond2 in the past I compiled Chez in MSYS2, but this time I just installed the binary Windows version and made sure the location was exposed to my path in MSYS2.

I'll let you know the results of the tests later.

tarikozkanli commented 2 years ago

hi, Any progress on this? Still Vscode can not start idris2 proces.

current version of idris2 : Version 0.5.1-266e06cab

best.

meraymond2 commented 2 years ago

Hi,

can you confirm that you're having this problem on Windows, and how are you compiling it?

tarikozkanli commented 2 years ago

Hi,

I am on windows 10. I compiled idris2 on msys2 mingw64. I installed chez scheme on windows use it from mngw64.

Regards.

31 Ara 2021 Cum 13:30 tarihinde meraymond2 @.***> şunu yazdı:

Hi,

can you confirm that you're having this problem on Windows, and how are you compiling it?

— Reply to this email directly, view it on GitHub https://github.com/meraymond2/idris-vscode/issues/33#issuecomment-1003338482, or unsubscribe https://github.com/notifications/unsubscribe-auth/AD54S52RGXTWTRR3EPRI5STUTWA4FANCNFSM4WCNHQJA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.

You are receiving this because you commented.Message ID: @.***>

meraymond2 commented 2 years ago

I never did manage to compile Idris2 on Windows, and I don't currently have easy access to a Windows machine.

I have set up a minimal test repo though. If anyone who is having problems running the extension could run the test and post the output that would be very helpful. 

git clone https://github.com/meraymond2/idris-ide-test.git
cd idris-ide-test
npm install
npm test