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.