Enable Performance Report in typed/racket/base and typed/scheme/base.
This commit is contained in:
parent
3ddf935f20
commit
b73421f812
|
@ -9,6 +9,9 @@ typed/racket/base
|
|||
|
||||
(define (make-info key default use-default)
|
||||
(case key
|
||||
[(drscheme:toolbar-buttons)
|
||||
(list (dynamic-require 'typed-racket/optimizer/tool/tool
|
||||
'performance-report-drracket-button))]
|
||||
[else (use-default key default)]))
|
||||
|
||||
(define make-language-info
|
||||
|
|
|
@ -9,6 +9,9 @@ typed/scheme/base
|
|||
|
||||
(define (make-info key default use-default)
|
||||
(case key
|
||||
[(drscheme:toolbar-buttons)
|
||||
(list (dynamic-require 'typed-racket/optimizer/tool/tool
|
||||
'performance-report-drracket-button))]
|
||||
[else (use-default key default)]))
|
||||
|
||||
(define make-language-info
|
||||
|
|
Loading…
Reference in New Issue
Block a user