Documentation on hover not working in CoC

[sicr0]

For some reason, while I'm writing, I don't get common methods suggestions and documentation. Is there a way to fix this?

[jamesnvc]

Does the hover work when not typing? For the completion, there is an issue that I've been meaning to look into for a while, where completion will only find predicates defined in the module or explicitly imported.

I mainly use Emacs, but I will try to test things out with CoC in the next day or two.

[sicr0]

Thanks! The completion only works on predicates already defined as you said. That is probably the issue I'm having.

[EsGeh]

Does the hover work when not typing? For the completion, there is an issue that I've been meaning to look into for a while, where completion will only find predicates defined in the module or explicitly imported.

I mainly use Emacs, but I will try to test things out with CoC in the next day or two.

Additionally, for me documentation is only shown when I have already typed a predicate including the right number of parameters.
However, sometimes, I only remember the predicate name. How can I know, the right number of arguments is, if I already need to know it, in order to look it up?

Suggestion: In case of a predicate typed without parameter brackets, it would be nice to be able to show documentation for all predicates with this name.

I have admittedly no insight, if this is feasible to implement.