Remove out of date comment.
This commit is contained in:
parent
61b83045fc
commit
6ba0c1416e
|
@ -53,8 +53,6 @@
|
||||||
(irritants merged-irritants badness)
|
(irritants merged-irritants badness)
|
||||||
#:prefab)
|
#:prefab)
|
||||||
|
|
||||||
;; Attempts to merge the incoming missed optimization with existing ones.
|
|
||||||
;; Otherwise, adds the new one to the log.
|
|
||||||
(define (log-missed-optimization kind msg stx [irritants '()])
|
(define (log-missed-optimization kind msg stx [irritants '()])
|
||||||
(when (anyone-listening?)
|
(when (anyone-listening?)
|
||||||
(let (;; for convenience, if a single irritant is given, wrap it in a list
|
(let (;; for convenience, if a single irritant is given, wrap it in a list
|
||||||
|
|
Loading…
Reference in New Issue
Block a user