Jean-Philippe Bernardy
Jean-Philippe Bernardy
Also: if the module cannot be loaded then GHCi won't give any type. Deferring type errors will help there.
You have really two issues here. 1. The unreliability of jump to definition and info is something I could never fix, and seem related to a GHCi bug and/or the...
@unhammer Good suggestion.
Are you in fact using dante? The error should show in the buffer. Also, the default binding is `C-c "`.
Multiline input is currently not possible to do with Dante. Not even the GHCi multiline syntax will work (`:{ ... :}`), because GHCi will issue a prompt that dante does...
I see that this specific prompt can be changed using `:set prompt-cont`. Should eventually be looking into that.
Thanks a lot. I'd have to check with my employer if that is acceptable.
I am not experiencing this behaviour. Normally dante should start only one process per cabal target.
I see now what you mean. These are not processes, but simply waiting. It seems that your flycheck configuration is to blame: it should not start a check if some...
I can't see what's going on unfortunately. I have tried the following program: ``` test :: Integer test = id id id id id id id id id id id...