[Agda] problems configuring haskell-mode and/or invoking cabal repl

Martin Stone Davis martin.stone.davis at gmail.com
Mon Oct 24 02:03:34 CEST 2016


I'm trying to use the emacs haskell-mode to hack Agda but am getting 
warnings and errors. When I C-c C-l on a file, say 
src/full/Agda/Main.hs, I get a Compilation Error from the warning:

> src/full/Agda/Utils/Map.hs:30:9-48: warning: 
> [-Wmonomorphism-restriction] …

Also, when I cabal repl --ghc-option=-ferror-spans I also get a bunch of 
warnings like:

> Warning: Can't find file "dist-2.6.0/build/autogen/cabal_macros.h" in 
> directories
I do have a cabal-macros.h but it's in dist (not dist-2.6.0).

I am able to cabal install Agda (lastest master version) with no 
problems. I'm using emacs-haskell-mode 13.20 in emacs 25.1.1.



More information about the Agda mailing list