michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(lean-flycheck): make column optional when detecting error/messages

Browse source 
fix #194
This commit is contained in:
Soonho Kong 2014-09-14 20:23:25 -07:00
parent d47412d201
commit df588d6ba0
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/emacs/lean-flycheck.el
View file

@ -24,12 +24,12 @@
:command ,(lean-flycheck-command)
:error-patterns
((error line-start "FLYCHECK_BEGIN ERROR\n"
(file-name) ":" line ":" column ": error: "
(file-name) ":" line ":" (? column ":") " error: "
(minimal-match
(message (one-or-more (one-or-more not-newline) "\n") ))
"FLYCHECK_END" line-end)
(warning line-start "FLYCHECK_BEGIN WARNING\n"
(file-name) ":" line ":" column ": warning "
(file-name) ":" line ":" (? column ":") " warning "
(minimal-match
(message (one-or-more (one-or-more not-newline) "\n") ))
"FLYCHECK_END" line-end))