Starting inferior stack GHCi process using stack (when using interactive mode) cannot satisfy package

[semaj]

Log of error when I C-c C-l or C-c C-c (haskell process has died):

("Starting inferior stack GHCi process using stack" "hademlia" nil "stack" "ghci" "--ghc-options=-ferror-spans")
-> Prelude.putStrLn ""
-> :set -v1
-> :set prompt "\4"
<- Configuring GHCi with the following packages: hademlia
   GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
   <command line>: cannot satisfy -package hademlia
       (use -v for more information)
Event: "exited abnormally with code 1
"
Process reset.

Relevant init.el:

;; haskell
(require 'haskell-interactive-mode)
(require 'haskell-process)
(add-hook 'haskell-mode-hook 'interactive-haskell-mode)
(eval-after-load "haskell-mode"
  '(progn
     (setq haskell-compile-cabal-build-command "stack build")
     (setq haskell-process-type 'stack-ghci)
     (setq haskell-process-log t)
     (define-key haskell-mode-map (kbd "C-`") 'haskell-interactive-bring)
     (define-key haskell-mode-map (kbd "C-c C-c") 'haskell-compile)
     (define-key haskell-mode-map (kbd "C-x C-d") nil)
     (define-key haskell-mode-map (kbd "C-c C-z") 'haskell-interactive-switch)
     (define-key haskell-mode-map (kbd "C-c C-l") 'haskell-process-load-file)
     (define-key haskell-mode-map (kbd "C-c C-b") 'haskell-interactive-switch)
     (define-key haskell-mode-map (kbd "C-c C-t") 'haskell-process-do-type)
     (define-key haskell-mode-map (kbd "C-c C-i") 'haskell-process-do-info)
     (define-key haskell-mode-map (kbd "C-c M-.") nil)
     (define-key haskell-mode-map (kbd "C-c C-d") nil)))
; end haskell

The project in question: https://github.com/semaj/hademlia

Anyone know why? I'm on the most recent melpa version, and I've tried reinstalling.

[geraldus]

@semaj hi! Have you tried to run stack ghci in shell for your project?

[semaj]

@geraldus hey -- yes, every stack command works fine from my shell

[geraldus]

I guess this is environment issue, what OS do you have? I've cloned your project, then built it with stack build command, and successfully loaded first file I've found in project (namely Constants.hs). Here is a full log:

("Starting inferior stack GHCi process using stack" "hademlia" nil "stack" "ghci" "--ghc-options=-ferror-spans")
-> Prelude.putStrLn ""
-> :set -v1
-> :set prompt "\4"
<- 
   * * * * * * * *
   There are issues with this project which may prevent GHCi from working properly.
   -XOverloadedStrings will be used, but it can cause type ambiguity in code not usually compiled with it.
   It is specified for:

<-     hademlia:lib
   But not for: 
       hademlia:exe:hademlia-exe

   To resolve, remove the flag(s) from the cabal file(s) and instead put them at the top of the haskell files.

   It isn't yet possible to load multiple packages into GHCi in all cases - see
   https://ghc.haskell.org/trac/ghc/ticket/10827

<- * * * * * * * *

   The following GHC options are incompatible with GHCi and have not been passed to it: -threaded
   Using main module: 1. Package `hademlia' component exe:hademlia-exe with main-is file: /Users/arthurfayzrakhmanov/Haskell/test/hademlia/app/Main.hs
<- Configuring GHCi with the following packages: hademlia
<- GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
<- unknown option: 'c'
<- [1 of 9] Compiling Sim              ( <base-dir>/hademlia/src/Sim.hs, interpreted )
   [2 of 9] Compiling Constants        ( <base-dir>/hademlia/src/Constants.hs, interpreted )
   [3 of 9] Compiling Connection       ( <base-dir>/hademlia/src/Connection.hs, interpreted )
<- [4 of 9] Compiling Utils            ( <base-dir>/hademlia/src/Utils.hs, interpreted )
   [5 of 9] Compiling RoutingData      ( <base-dir>/hademlia/src/RoutingData.hs, interpreted )
<- [6 of 9] Compiling Message          ( <base-dir>/hademlia/src/Message.hs, interpreted )
<- [7 of 9] Compiling Node             ( <base-dir>/hademlia/src/Node.hs, interpreted )
<- [8 of 9] Compiling Real             ( <base-dir>/hademlia/src/Real.hs, interpreted )
<- [9 of 9] Compiling Main             ( <base-dir>/hademlia/app/Main.hs, interpreted )
   Ok, modules loaded: Utils, Node, Connection, Message, Constants, RoutingData, Real, Sim, Main.
   *Main Connection Constants Message Node Real Rou
<- tingData Sim Utils> 
   *Main Connection Constants Message Node Real RoutingData Sim Utils> *Main Connection Constants Message Node Real RoutingData Sim Utils> �
-> :load "<base-dir>/hademlia/src/Constants.hs"
<- [1 of 1] Compiling Constants        ( <base-dir>/hademlia/src/Constants.hs, interpreted )
   Ok, modules loaded: Constants.
   �
-> :set -fbyte-code
<- �
-> :load "*<base-dir>/hademlia/src/Constants.hs"
<- [1 of 1] Compiling Constants        ( <base-dir>/hademlia/src/Constants.hs, interpreted )
   Ok, modules loaded: Constants.
   �
-> :set -fobject-code
<- �

[gracjan]

It would be good to implement #975 so that we can give more info to users when issues happen.

[semaj]

stack upgrade solved the C-c C-l issue. But C-c C-c is now attempting to do a cabal build rather than stack. Is something wrong with my init?

[fice-t]

You can use C-h k to see which command a key is bound to. Running your config gives me haskell-process-cabal-build for C-c C-c.

Quick things to note:

• The progn in your eval-after-load runs straight away as "haskell-mode" is required by haskell-interactive-mode.
• Key bindings in minor modes shadow the major mode's bindings. There are a list of bindings in haskell.el that shadow the ones you just defined, including C-c C-c:

(defvar interactive-haskell-mode-map
  (let ((map (make-sparse-keymap)))
    (define-key map (kbd "C-c C-l") 'haskell-process-load-file)
    (define-key map (kbd "C-c C-r") 'haskell-process-reload)
    (define-key map (kbd "C-c C-t") 'haskell-process-do-type)
    (define-key map (kbd "C-c C-i") 'haskell-process-do-info)
    (define-key map (kbd "M-.") 'haskell-mode-jump-to-def-or-tag)
    (define-key map (kbd "C-c C-k") 'haskell-interactive-mode-clear)
    (define-key map (kbd "C-c C-c") 'haskell-process-cabal-build)
    (define-key map (kbd "C-c v c") 'haskell-cabal-visit-file)
    (define-key map (kbd "C-c C-x") 'haskell-process-cabal)
    (define-key map (kbd "C-c C-b") 'haskell-interactive-switch)
    (define-key map (kbd "C-c C-z") 'haskell-interactive-switch)
    (define-key map (kbd "M-n") 'haskell-goto-next-error)
    (define-key map (kbd "M-p") 'haskell-goto-prev-error)
    (define-key map (kbd "C-c M-p") 'haskell-goto-first-error)
    map)
  "Keymap for using `interactive-haskell-mode'.")

I recommend use-package for this sort of thing. Also, I don't see a reason to require haskell-interactive and haskell-process.

[gracjan]

Hmm, the C-c C-c binding is out of place in interactive-haskell-mode-map. It should be somewhere in haskell-mode-map provided that we have #1229 done. Then C-c C-c will know if it is working with stack or cabal project.

[semaj]

@fice-t my haskell section was gleaned from : https://haskell.github.io/haskell-mode/manual/latest/Interactive-Haskell.html#Interactive-Haskell.

Removing the add-hook solved the issue. This issue can be closed.

Thank you!

[gracjan]

We need to fix this horrible section in the manual.