idris2-complete-at-point throws error

[xavierzwirtz]

idris2-complete-at-point bubbles up errors from the idris repl. This causes issues when you are using company-mode which is very happy go lucky about calling the completion function.

Error from company mode:

Company: backend company-capf error "I can't make sense of the completion task:
   (synchronous Idris2 evaluation failed)" with args (prefix)

You can get this without using company-mode by calling completion-at-point on an empty line.

[ska80]

Try to disable company-mode specifically for idris2-mode in your ~/.emacs/init.el:

(setq company-global-modes '(not idris2-mode idris2-repl-mode))

[xavierzwirtz]

I have already done that. It feels like idiris2-complete-at-point should be changed to return nil instead of throwing an idris2 evaluation error.