From ea63136434f1ba103e7d5f1fbbecbd097edbd7bb Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 26 Nov 2014 09:35:22 -0800 Subject: [PATCH] fix(src/emacs/lean-flycheck): do not report 'sorry' warnings to flycheck, this is a temporary workaround since there is an overlap between flycheck and lean-mode type info --- src/emacs/lean-flycheck.el | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/emacs/lean-flycheck.el b/src/emacs/lean-flycheck.el index 6717319668..91846083c4 100644 --- a/src/emacs/lean-flycheck.el +++ b/src/emacs/lean-flycheck.el @@ -39,11 +39,12 @@ (minimal-match (message (one-or-more (zero-or-more not-newline) (? "\r") "\n"))) "FLYCHECK_END" (? "\r") line-end) - (warning line-start "FLYCHECK_BEGIN WARNING" (? "\r") "\n" - (file-name) ":" line ":" (? column ":") " warning: " - (minimal-match - (message (one-or-more (zero-or-more not-newline) (? "\r") "\n"))) - "FLYCHECK_END" (? "\r") line-end)) + ;; (warning line-start "FLYCHECK_BEGIN WARNING" (? "\r") "\n" + ;; (file-name) ":" line ":" (? column ":") " warning: " + ;; (minimal-match + ;; (message (one-or-more (zero-or-more not-newline) (? "\r") "\n"))) + ;; "FLYCHECK_END" (? "\r") line-end) + ) :modes (lean-mode))) (add-to-list 'flycheck-checkers 'lean-checker))