Updated the documentation of TR's optimizer.
original commit: d39cb530cf335fbe9549ced308924b0691f8ff18
This commit is contained in:
parent
30780b3f6a
commit
220b41c75e
|
@ -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
|
||||
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
|
||||
want to activate it, you must add the @racket[#:optimize] keyword when
|
||||
specifying the language of your program:
|
||||
Typed Racket's optimizer is turned on by default. If you want to
|
||||
deactivate it (for debugging, for instance), you must add the
|
||||
@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}
|
||||
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
|
||||
your programs slower or unsafe.
|
||||
|
||||
Typed Racket's optimizer is not currently turned on by default. If you
|
||||
want to activate it, you must add the @racket[#:optimize] keyword when
|
||||
specifying the language of your program:
|
||||
Typed Racket's optimizer is turned on by default. If you want to
|
||||
deactivate it (for debugging, for instance), you must add the
|
||||
@racket[#:no-optimize] keyword when specifying the language of your
|
||||
program:
|
||||
|
||||
@racketmod[typed/racket #:optimize]
|
||||
@racketmod[typed/racket #:no-optimize]
|
||||
|
||||
@section{Legacy Forms}
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user