pretty printing hack.
This commit is contained in:
parent
b548f1dbcf
commit
266ac30133
@ -72,10 +72,10 @@
|
|||||||
(insert title "\n\n")
|
(insert title "\n\n")
|
||||||
(mapc (lambda (x) (insert (ghc-replace-character x ghc-null ghc-newline) "\n")) errs)
|
(mapc (lambda (x) (insert (ghc-replace-character x ghc-null ghc-newline) "\n")) errs)
|
||||||
(goto-char (point-min))
|
(goto-char (point-min))
|
||||||
(while (re-search-forward "In the [^:\n]+: \\|Expected type: \\|Inferred type: \\|Possible fix: " nil t)
|
(while (re-search-forward "In the [^:\n ]+: \\|Expected type: \\|Inferred type: \\|Possible fix: " nil t)
|
||||||
(replace-match (concat "\n" (match-string 0) "\n ")))
|
(replace-match (concat "\n" (match-string 0) "\n ")))
|
||||||
(goto-char (point-max))
|
(goto-char (point-max))
|
||||||
(while (re-search-backward "In the [a-z]+ argument" nil t)
|
(while (re-search-backward "In the [a-z]+ argument\\|In the `" nil t)
|
||||||
(insert "\n"))))
|
(insert "\n"))))
|
||||||
|
|
||||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||||
|
Loading…
Reference in New Issue
Block a user