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
This commit is contained in:
Vincent St-Amour 2012-07-20 11:24:07 -04:00
parent fceb3db69c
commit eda3e70670
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