Stream: Coq users

Topic: Flycheck and _coqproject?


view this post on Zulip Shea Levy (Oct 09 2020 at 16:44):

Does flycheck not check _CoqProject? Is there any way to set up the import paths for flycheck? I have a -R in mine...

view this post on Zulip Paolo Giarrusso (Oct 09 2020 at 16:54):

AFAIK, Proof General, company-coq and the spacemacs Coq layer (on the develop branch) understand _CoqProject...

view this post on Zulip Paolo Giarrusso (Oct 09 2020 at 16:55):

Never tried flycheck, but if its docs don’t have an answer, I’d look at company-coq.

view this post on Zulip Paolo Giarrusso (Oct 09 2020 at 16:55):

(Separately, you probably want -Q over -R)


Last updated: Jan 28 2023 at 06:30 UTC