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

Add install info to TR optimization guide section

Browse Source
This commit is contained in:
Asumu Takikawa 2014-02-28 14:30:16 -05:00
parent 44b68d209a
commit 3effaed55f
1 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/optimization.scrbl
View File

@ -162,7 +162,13 @@ cases.
@subsection[#:tag "optimization-coach"]{Optimization coaching}
The Optimization Coach package provides optimization coaching support to help
you get the most of the Typed Racket optimizer.
you get the most of the Typed Racket optimizer. To install it, run the following
command:
@commandline{raco pkg install optimization-coach}
After it is installed, an "Optimization Coach" button will appear on the
DrRacket toolbar for Typed Racket programs.
Similar information (albeit without in-depth explanations or advice) is
available from the command line. When compiling a Typed Racket program, setting
@ -187,4 +193,11 @@ racket}; using @racket[require/typed] is unnecessary in these cases.
If you suspect that contracts at a typed-untyped boundary may be have a
significant cost in your program, you can investigate further using the
contract profiler.
@seclink["top" #:doc '(lib "contract-profile/scribblings/contract-profile.scrbl")
#:indirect? #t
"contract profiler"].
If the contract profiler is not already installed, the following command
will install it:
@commandline{raco pkg install contract-profile}