inserting signature for GHC 7.

This commit is contained in:
Kazu Yamamoto 2011-03-25 13:00:08 +09:00
parent 973f43c93a
commit a4a3be93eb

View File

@ -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)