Enable Performance Report in typed/racket/base and typed/scheme/base.
original commit: b73421f812b7faf3efe2644c21d401ff10c69d7a
This commit is contained in:
parent
0460d91edb
commit
785df44840
|
@ -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