Search results

'PureScript: Clean' resulted in an error (command 'purescript.clean' not found)

bug

more-info

Status: Open.

#190 In nwolverson/vscode-ide-purescript;

· wclr opened on Aug 26, 2021

PureScript build usually fails when spago is used

more-info

Status: Open.

#171 In nwolverson/vscode-ide-purescript;

· shamansir opened on Feb 4, 2021

Trouble connecting to IDE server, though first try worked (Docker remote/WSL)

help wanted

more-info

Status: Open.

#157 In nwolverson/vscode-ide-purescript;

· bbarker opened on Sep 22, 2020

Plugin workspace issue

more-info

Status: Open.

#140 In nwolverson/vscode-ide-purescript;

· p2327 opened on Apr 14, 2020

error reporting not working on save

bug

more-info

Status: Open.

#22 In nwolverson/vscode-ide-purescript;

· vishnuixm opened on Jul 30, 2016