fix bug introduced in recent commit caught by drdr
This commit is contained in:
parent
252db20c85
commit
2fea831663
|
@ -632,7 +632,7 @@ TODO
|
|||
;; -> (void)
|
||||
(define/public (highlight-errors raw-locs [raw-error-arrows #f])
|
||||
(set-error-ranges raw-locs)
|
||||
(define locs (get-error-ranges)) ;; calling set-error-range cleans up the locs
|
||||
(define locs (or (get-error-ranges) '())) ;; calling set-error-range cleans up the locs
|
||||
(define error-arrows (and raw-error-arrows (cleanup-locs raw-error-arrows)))
|
||||
|
||||
(reset-highlighting)
|
||||
|
|
Loading…
Reference in New Issue
Block a user