Updated the documentation of TR's optimizer.
This commit is contained in:
parent
abcbce129b
commit
d39cb530cf
|
@ -12,13 +12,14 @@ Typed Racket provides a type-driven optimizer that rewrites well-typed
|
||||||
programs to potentially make them faster. It should in no way make
|
programs to potentially make them faster. It should in no way make
|
||||||
your programs slower or unsafe.
|
your programs slower or unsafe.
|
||||||
|
|
||||||
@section{Using the optimizer}
|
@section{Turning the optimizer off}
|
||||||
|
|
||||||
Typed Racket's optimizer is not currently turned on by default. If you
|
Typed Racket's optimizer is turned on by default. If you want to
|
||||||
want to activate it, you must add the @racket[#:optimize] keyword when
|
deactivate it (for debugging, for instance), you must add the
|
||||||
specifying the language of your program:
|
@racket[#:no-optimize] keyword when specifying the language of your
|
||||||
|
program:
|
||||||
|
|
||||||
@racketmod[typed/racket #:optimize]
|
@racketmod[typed/racket #:no-optimize]
|
||||||
|
|
||||||
@section{Getting the most out of the optimizer}
|
@section{Getting the most out of the optimizer}
|
||||||
Typed Racket's optimizer can improve the performance of various common
|
Typed Racket's optimizer can improve the performance of various common
|
||||||
|
|
|
@ -624,11 +624,12 @@ Typed Racket provides a type-driven optimizer that rewrites well-typed
|
||||||
programs to potentially make them faster. It should in no way make
|
programs to potentially make them faster. It should in no way make
|
||||||
your programs slower or unsafe.
|
your programs slower or unsafe.
|
||||||
|
|
||||||
Typed Racket's optimizer is not currently turned on by default. If you
|
Typed Racket's optimizer is turned on by default. If you want to
|
||||||
want to activate it, you must add the @racket[#:optimize] keyword when
|
deactivate it (for debugging, for instance), you must add the
|
||||||
specifying the language of your program:
|
@racket[#:no-optimize] keyword when specifying the language of your
|
||||||
|
program:
|
||||||
|
|
||||||
@racketmod[typed/racket #:optimize]
|
@racketmod[typed/racket #:no-optimize]
|
||||||
|
|
||||||
@section{Legacy Forms}
|
@section{Legacy Forms}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user