diff --git a/elisp/ghc-flymake.el b/elisp/ghc-flymake.el index 66a728c..366b100 100644 --- a/elisp/ghc-flymake.el +++ b/elisp/ghc-flymake.el @@ -78,7 +78,7 @@ (with-temp-buffer (insert str) (goto-char (point-min)) - (when (re-search-forward "Inferred type: " nil t) + (when (re-search-forward "Inferred type: \\|no type signature:\\( \\|\0 +\\)?" nil t) (delete-region (point-min) (point))) (when (re-search-forward " forall [^.]+\\." nil t) (replace-match "")) @@ -95,7 +95,7 @@ (dolist (data (ghc-flymake-err-list)) (save-excursion (cond - ((string-match "Inferred type: " data) + ((string-match "Inferred type: \\|no type signature:" data) (beginning-of-line) (insert (ghc-extract-type data) "\n")) ((string-match "lacks an accompanying binding" data)