Explain duplicate removal.
This commit is contained in:
parent
4b84e56fa6
commit
46b9b6ea58
|
@ -90,6 +90,8 @@
|
||||||
0
|
0
|
||||||
(missed-opt-log-entry-badness l)))]
|
(missed-opt-log-entry-badness l)))]
|
||||||
[_ #f])) ; no source location, ignore
|
[_ #f])) ; no source location, ignore
|
||||||
|
;; We remove duplicates that were caused by traversing the same piece
|
||||||
|
;; of code multiple times in the optimizer.
|
||||||
(filter values (map log-entry->report-entry (remove-duplicates log))))
|
(filter values (map log-entry->report-entry (remove-duplicates log))))
|
||||||
|
|
||||||
(define (merge-entries prev l)
|
(define (merge-entries prev l)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user