Have separate checkbox for hidden costs.
This commit is contained in:
parent
8ffbaabfa6
commit
928ea23a12
|
@ -40,7 +40,7 @@
|
||||||
(list (missed-opt-report-entry
|
(list (missed-opt-report-entry
|
||||||
(log-entry-located-stx info-entry)
|
(log-entry-located-stx info-entry)
|
||||||
message
|
message
|
||||||
'typed-racket
|
'hidden-cost
|
||||||
badness
|
badness
|
||||||
'())) ; no irritants to highlight
|
'())) ; no irritants to highlight
|
||||||
start end
|
start end
|
||||||
|
|
|
@ -21,6 +21,9 @@
|
||||||
[_ #f]))
|
[_ #f]))
|
||||||
("Report inlining optimizations?" .
|
("Report inlining optimizations?" .
|
||||||
,(match-lambda [(sub-report-entry s m 'mzc) #t]
|
,(match-lambda [(sub-report-entry s m 'mzc) #t]
|
||||||
|
[_ #f]))
|
||||||
|
("Report hidden costs?" .
|
||||||
|
,(match-lambda [(sub-report-entry s m 'hidden-cost) #t]
|
||||||
[_ #f]))))
|
[_ #f]))))
|
||||||
|
|
||||||
(define (copy-definitions definitions)
|
(define (copy-definitions definitions)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user