Company completion about dante HOT 6 CLOSED

According to [1], "only the repl domain is supported which denotes the kind of completion that would be provided interactively by GHCi at the input prompt." Presumably support for other domains is implemented in the "intero" fork of GHCi and can be backported. If you're interested in this feature please register your interest with the GHC team.

[1] https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci.html

from dante.

In GHCi the completion is for the prompt only, AFAIU. Correct me if I'm wrong.

from dante.

I'm not sure. But I think haskell-interactive-mode is 100% based on GHCi, and it can provide completion.

from dante.

GHCI has a command to query completions.
https://github.com/ghc/ghc/blob/master/ghc/GHCi/UI.hs#L281

from dante.

Can't we use the "repl domain" for this? I'm not really sure what a domain is, but I get useful identifier completions:

ghci> :complete repl "map"
4 4 ""
"map"
"mapM"
"mapM_"
"mappend"

It seems like this is what Intero uses.

from dante.

Let's use the repl domain for now until GHCi can do something more clever.

from dante.