Fixed #561
This commit is contained in:
parent
64379a7c56
commit
7db740c2af
@ -165,12 +165,17 @@ nil do not display errors/warnings.
|
|||||||
(err (ghc-hilit-info-get-err info))
|
(err (ghc-hilit-info-get-err info))
|
||||||
(hole (ghc-hilit-info-get-hole info))
|
(hole (ghc-hilit-info-get-hole info))
|
||||||
(coln (ghc-hilit-info-get-coln info))
|
(coln (ghc-hilit-info-get-coln info))
|
||||||
|
(is-same-file
|
||||||
|
(or (file-equal-p ofile file)
|
||||||
|
(string= (file-truename ofile) (file-truename file)))
|
||||||
|
; In case non-existent
|
||||||
|
)
|
||||||
beg end ovl)
|
beg end ovl)
|
||||||
;; FIXME: This is the Shlemiel painter's algorithm.
|
;; FIXME: This is the Shlemiel painter's algorithm.
|
||||||
;; If this is a bottleneck for a large code, let's fix.
|
;; If this is a bottleneck for a large code, let's fix.
|
||||||
(goto-char (point-min))
|
(goto-char (point-min))
|
||||||
(cond
|
(cond
|
||||||
((string= (file-truename ofile) (file-truename file))
|
(is-same-file
|
||||||
(if hole
|
(if hole
|
||||||
(progn
|
(progn
|
||||||
(forward-line (1- line))
|
(forward-line (1- line))
|
||||||
|
Loading…
Reference in New Issue
Block a user