From d39cb530cf335fbe9549ced308924b0691f8ff18 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 6 Oct 2010 16:40:26 -0400 Subject: [PATCH] Updated the documentation of TR's optimizer. --- collects/typed-scheme/scribblings/optimization.scrbl | 11 ++++++----- collects/typed-scheme/scribblings/ts-reference.scrbl | 9 +++++---- 2 files changed, 11 insertions(+), 9 deletions(-) diff --git a/collects/typed-scheme/scribblings/optimization.scrbl b/collects/typed-scheme/scribblings/optimization.scrbl index 0431cfdcbc..f782c5c2a7 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 c0913d5197..7ee9209107 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}