You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
dramforever edited this page Mar 18, 2021
·
1 revision
vscode-ghc-simple.restart: Restart GHCi sessions
vscode-ghc-simple tries to watch for changes in crucial configuration files. If however it does not work and the sessions use stale configuration, you can use this command to manually restart all the GHCi sessions.