diff --git a/collects/typed-scheme/scribblings/optimization.scrbl b/collects/typed-scheme/scribblings/optimization.scrbl index 0431cfdc..f782c5c2 100644 --- a/collects/typed-scheme/scribblings/optimization.scrbl +++ b/collects/typed-scheme/scribblings/optimization.scrbl @@ -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 diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl index c0913d51..7ee92091 100644 --- a/collects/typed-scheme/scribblings/ts-reference.scrbl +++ b/collects/typed-scheme/scribblings/ts-reference.scrbl @@ -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}