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

Use local member names for Optimization Coach public methods.

Browse Source 
(cherry picked from commit eda3e70670)
This commit is contained in:
Vincent St-Amour 2012-07-20 11:24:07 -04:00 committed by Ryan Culpepper
parent f0006b6535
commit 8d59ea5580
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -35,6 +35,11 @@
[_ #f]))))
(define-local-member-name get-optimization-coach-menu-item)
(define-local-member-name highlighting-shown?)
(define-local-member-name add-highlights)
(define-local-member-name clear-highlights)
(define-local-member-name show-optimization-coach-panel)
(define-local-member-name hide-optimization-coach-panel)
(define optimization-coach-drracket-button
(list