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
@fgaz btw, the suggested fix is to add sugar for cabal new-exec ghci to not invoke ghci (because cabal never does does invoke ghci, nor does it need to). Instead, the consistent way to fix/workaround this in a way consistent w/ cabal new-repl (which does not invoke ghci either) is to desugar cabal new-exec ghci into cabal new-exec ghc --interactive
Setup:
So current ghc in PATH is
8.4.4
.Project config is set to
ghc-8.4.3
Invoking
new-exec ghc -- --interactive
in the project dir will startghci-8.4.3
with the 8.4.3 environment file.Invoking
new-exec ghci
will try to startghci-8.4.4
with the 8.4.3 environment file, which fails straight.These two should do the same, imo.
The text was updated successfully, but these errors were encountered: