Haskell autocompletion in GNU/Emacs

Question

Hello,

I installed haskel-mode in emacs. Then I write in my .emacs:

(load "~/.emacs.d/haskell-mode/haskell-site-file")
(add-hook 'haskell-mode-hook 'turn-on-haskell-doc-mode)
(add-hook 'haskell-mode-hook 'turn-on-haskell-indentation)
(add-hook 'haskell-mode-hook 'haskell-font-lock-symbols t)
(put 'downcase-region 'disabled nil)

What must i add in my conf file that emacs could autocomplete for Haskell ? Or Haskell mode there is no such possibility?

Thank you

Answer 1

haskell-mode currently provides no such possibility. There is some work on implementation of haskell parser for CEDET - in this case, users will get autocompletion features automatically. But this work had started not so much time ago...

Answer 2

When there is no language-specific support, you can use tags. This is a generic completion mechanism.

1. Generate a TAGS file, which contains a list of identifiers and where they are defined. Emacs comes with the etags program to do this in many languages, but not Haskell; ghc comes with hasktags.

2. Load the TAGS file with M-x visit-tags-table.

Tags are not context-independent, so they'll indiscriminately suggest types, values, constructors, etc everywhere. They also won't provide advanced features such as easily showing the type of a value. The most important tags commands are:

• M-TAB (complete-symbol) completes an identifier according to the loaded list of tags.

• M-. (find-tag) goes to the place where the identifier at point is defined, opening the containg file if necessary.

• M-* (pop-tag-mark) goes back where you were before M-..

• M-x tags-apropos shows a list of identifiers matching a regexp.

For more information, look under "Tags" in the Emacs manual.

---

For an even cruder, but fully automatic mechanism, there is the dynamic abbrev feature. C-M-/ (dabbrev-completion) looks in most open buffers for a completion; this is completely language-independent, so it'll even find words in strings, comments, whatever. M-/ (dabbrev-expand) is similar, but directly completes to the nearest match before point.

Answer 3

ghc-mod provides some completion for Haskell within Emacs, as well as checking with hlint and ghc. In combination with M-/, it's good enough for me.

Answer 4

My setup is a little more complicated. It uses the auto-complete infrastructure which shows a dropdown list of candidates automatically similar to traditional IDEs. I downloaded this script that hardcodes all the keywords. In addition to that, I use ghc-mod to generate module names.