search

idris-hackers / idris-mode

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

Warnings show as errors in Flycheck mode. #451

Closed gatoWololo closed 1 year ago

gatoWololo commented 7 years ago

Currently, warnings are marked the same red color as errors in the buffer. I'm currently using Idris 1.0.

By looking at your flycheck-define-checker, the issue seems to be this line:

((warning line-start (file-name) ":" line ":" column ":Warning - "

Running idriss on the command line:

>  idris --check --nocolor --warnpartial temp.idr 
temp.idr:5:1:
Warning - Main.f is possibly not total due to: Prelude.Interfaces.Int implementation of Prelude.Interfaces.Integral

So adding a newline character to the the warning string fixed this for me.

jfdm commented 7 years ago

Thanks for the feedback, if you want to submit a PR to fix this then please do.

david-christiansen commented 7 years ago

Thanks very much!

I don't use the Flycheck integration, but I do welcome a fix. Thanks again!