search

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
267 stars 70 forks source link

Flymake Support #625

Open jgarte opened 2 months ago

jgarte commented 2 months ago

Hi,

Is flymake currently supported or are there any plans to support it?

jfdm commented 2 months ago

Thanks for the question.

Flymake is not supported, we do provide flycheck integration.

There are no plans, by myself, to support flymake at the present. I do not have capacity to look into this. PRs are, however, more than welcome.

Thanks

gallais commented 2 months ago

PRs are, however, more than welcome.

Are they? I don't know that we have the capacity to review opened PRs. e.g. #623

jfdm commented 2 months ago

Are they? I don't know that we have the capacity to review opened PRs.

This is a conversation we should have outside of this issue.

My main point is that I do not want to discourage people from placing PRs.