Rename Performance Report to Optimization Coach.
The new name is more accurate. original commit: 60a0f3b8545582df43673063b65116a0f929b415
This commit is contained in:
parent
e2f3073123
commit
fdd870efd5
|
@ -3,4 +3,4 @@
|
|||
(define scribblings '(("scribblings/ts-reference.scrbl" (multi-page) (language 4))
|
||||
("scribblings/ts-guide.scrbl" (multi-page) (language 5))))
|
||||
(define drracket-tools '(("optimizer/tool/tool.rkt")))
|
||||
(define drracket-tool-names '("Performance Report"))
|
||||
(define drracket-tool-names '("Optimization Coach"))
|
||||
|
|
|
@ -164,8 +164,8 @@ cases.
|
|||
Typed Racket provides performance debugging support to help you get the
|
||||
most of its optimizer.
|
||||
|
||||
The @deftech{Performance Report} DrRacket plugin can be used when editing a
|
||||
Typed Racket program in DrRacket. Clicking the Performance Report button
|
||||
The @deftech{Optimization Coach} DrRacket plugin can be used when editing a
|
||||
Typed Racket program in DrRacket. Clicking the Optimization Coach button
|
||||
runs the optimizer and reports the results. All performed optimizations are
|
||||
highlighted in green in the editor. In addition, the optimizer also reports
|
||||
cases where an optimization was close to happening, but was not ultimately safe
|
||||
|
|
Loading…
Reference in New Issue
Block a user