Added a button for the performance report tool when in a typed language.
original commit: 101feb82007f3c2f0f7831a6be368cdae411beab
This commit is contained in:
parent
0ba01d233e
commit
57ce28ef09
|
@ -4,5 +4,13 @@ typed-scheme
|
|||
|
||||
#:read r:read
|
||||
#:read-syntax r:read-syntax
|
||||
#:info make-info
|
||||
|
||||
(require (prefix-in r: "../typed-reader.rkt"))
|
||||
|
||||
(define (make-info key default use-default)
|
||||
(case key
|
||||
[(drscheme:toolbar-buttons)
|
||||
(list (dynamic-require 'typed-scheme/optimizer/tool/tool
|
||||
'performance-report-drracket-button))]
|
||||
[else (use-default key default)]))
|
||||
|
|
|
@ -9,6 +9,9 @@ typed/racket
|
|||
|
||||
(define (make-info key default use-default)
|
||||
(case key
|
||||
[(drscheme:toolbar-buttons)
|
||||
(list (dynamic-require 'typed-scheme/optimizer/tool/tool
|
||||
'performance-report-drracket-button))]
|
||||
[else (use-default key default)]))
|
||||
|
||||
(define make-language-info
|
||||
|
|
|
@ -9,6 +9,9 @@ typed/scheme
|
|||
|
||||
(define (make-info key default use-default)
|
||||
(case key
|
||||
[(drscheme:toolbar-buttons)
|
||||
(list (dynamic-require 'typed-scheme/optimizer/tool/tool
|
||||
'performance-report-drracket-button))]
|
||||
[else (use-default key default)]))
|
||||
|
||||
(define make-language-info
|
||||
|
|
Loading…
Reference in New Issue
Block a user