From fdd870efd5b29787b0de6305dbd62f1a1d1f8e3f Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 4 Jul 2012 16:36:10 -0400 Subject: [PATCH] Rename Performance Report to Optimization Coach. The new name is more accurate. original commit: 60a0f3b8545582df43673063b65116a0f929b415 --- collects/typed-racket/info.rkt | 2 +- collects/typed-racket/scribblings/guide/optimization.scrbl | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/typed-racket/info.rkt b/collects/typed-racket/info.rkt index 6360474d..4d2cdecb 100644 --- a/collects/typed-racket/info.rkt +++ b/collects/typed-racket/info.rkt @@ -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")) diff --git a/collects/typed-racket/scribblings/guide/optimization.scrbl b/collects/typed-racket/scribblings/guide/optimization.scrbl index 5a492363..43451d9f 100644 --- a/collects/typed-racket/scribblings/guide/optimization.scrbl +++ b/collects/typed-racket/scribblings/guide/optimization.scrbl @@ -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