suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Only enable Optimization Coach button in Typed Racket.

Browse Source 
Other languages can access it through the View menu.

Please merge to release.
This commit is contained in:
Vincent St-Amour 2012-07-19 15:57:03 -04:00
parent d396b34b2d
commit 24b314a40a
6 changed files with 23 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
collects/typed-racket/optimizer/tool/tool.rkt
View File

@ -8,7 +8,7 @@
(require "report.rkt" "display.rkt") (require "report.rkt" "display.rkt")
(provide tool@) (provide tool@ optimization-coach-drracket-button)
;; DrRacket tool for reporting missed optimizations in the editor. ;; DrRacket tool for reporting missed optimizations in the editor.
@ -36,22 +36,18 @@
(define-local-member-name get-coach-menu-item) (define-local-member-name get-coach-menu-item)
(define optimization-coach-drracket-button
(list
"Optimization Coach"
optimization-coach-bitmap
optimization-coach-callback))
(define-unit tool@ (define-unit tool@
(import drracket:tool^) (import drracket:tool^)
(export drracket:tool-exports^) (export drracket:tool-exports^)
(define (phase1) (define (phase1) (void))
(drracket:module-language-tools:add-opt-out-toolbar-button
(lambda (frame parent)
(new switchable-button%
[label "Optimization Coach"]
[callback (lambda (btn)
(optimization-coach-callback frame))]
[parent parent]
[bitmap optimization-coach-bitmap]))
'optimization-coach
#:number 75))
(define (phase2) (void)) (define (phase2) (void))
(define highlights-mixin (define highlights-mixin

3
collects/typed-scheme/lang/reader.rkt
View File

@ -10,4 +10,7 @@ typed-scheme
(define (make-info key default use-default) (define (make-info key default use-default)
(case key (case key
[(drscheme:toolbar-buttons)
(list (dynamic-require 'typed-racket/optimizer/tool/tool
'optimization-coach-drracket-button))]
[else (use-default key default)])) [else (use-default key default)]))

3
collects/typed/racket/base/lang/reader.rkt
View File

@ -9,6 +9,9 @@ typed/racket/base
(define (make-info key default use-default) (define (make-info key default use-default)
(case key (case key
[(drscheme:toolbar-buttons)
(list (dynamic-require 'typed-racket/optimizer/tool/tool
'optimization-coach-drracket-button))]
[else (use-default key default)])) [else (use-default key default)]))
(define make-language-info (define make-language-info

3
collects/typed/racket/lang/reader.rkt
View File

@ -9,6 +9,9 @@ typed/racket
(define (make-info key default use-default) (define (make-info key default use-default)
(case key (case key
[(drscheme:toolbar-buttons)
(list (dynamic-require 'typed-racket/optimizer/tool/tool
'optimization-coach-drracket-button))]
[else (use-default key default)])) [else (use-default key default)]))
(define make-language-info (define make-language-info

3
collects/typed/scheme/base/lang/reader.rkt
View File

@ -9,6 +9,9 @@ typed/scheme/base
(define (make-info key default use-default) (define (make-info key default use-default)
(case key (case key
[(drscheme:toolbar-buttons)
(list (dynamic-require 'typed-racket/optimizer/tool/tool
'optimization-coach-drracket-button))]
[else (use-default key default)])) [else (use-default key default)]))
(define make-language-info (define make-language-info

3
collects/typed/scheme/lang/reader.rkt
View File

@ -9,6 +9,9 @@ typed/scheme
(define (make-info key default use-default) (define (make-info key default use-default)
(case key (case key
[(drscheme:toolbar-buttons)
(list (dynamic-require 'typed-racket/optimizer/tool/tool
'optimization-coach-drracket-button))]
[else (use-default key default)])) [else (use-default key default)]))
(define make-language-info (define make-language-info