From d43c8fc406e03532a65a7b2f6df85e6199dc1fc6 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 14 Jun 2011 16:48:08 -0400 Subject: [PATCH] Tidy up TR reference. --- .../reference/compatibility-languages.scrbl | 17 ++--------------- .../scribblings/reference/experimental.scrbl | 17 ++--------------- .../scribblings/reference/legacy.scrbl | 17 ++--------------- .../scribblings/reference/libraries.scrbl | 13 ++----------- .../scribblings/reference/no-check.scrbl | 17 ++--------------- .../scribblings/reference/optimization.scrbl | 17 ++--------------- .../scribblings/reference/special-forms.scrbl | 9 ++++----- .../scribblings/reference/typed-regions.scrbl | 12 +++--------- .../scribblings/reference/types.scrbl | 10 ++++------ .../scribblings/reference/utilities.scrbl | 13 +++---------- 10 files changed, 26 insertions(+), 116 deletions(-) diff --git a/collects/typed-scheme/scribblings/reference/compatibility-languages.scrbl b/collects/typed-scheme/scribblings/reference/compatibility-languages.scrbl index f470e9170e..139076c9b8 100644 --- a/collects/typed-scheme/scribblings/reference/compatibility-languages.scrbl +++ b/collects/typed-scheme/scribblings/reference/compatibility-languages.scrbl @@ -1,20 +1,7 @@ #lang scribble/manual -@begin[(require "../utils.rkt" scribble/eval scriblib/footnote - racket/sandbox) - (require (for-label (only-meta-in 0 [except-in typed/racket for]) - (only-in racket/base for) - racket/list srfi/14 - version/check))] - -@(define the-eval (make-base-eval)) -@(the-eval '(require (except-in typed/racket #%top-interaction #%module-begin))) -@(define the-top-eval (make-base-eval)) -@(the-top-eval '(require (except-in typed/racket #%module-begin))) - -@(define-syntax-rule (ex . args) - (examples #:eval the-top-eval . args)) - +@begin[(require "../utils.rkt") + (require (for-label (only-meta-in 0 [except-in typed/racket for])))] @title{Compatibility Languages} diff --git a/collects/typed-scheme/scribblings/reference/experimental.scrbl b/collects/typed-scheme/scribblings/reference/experimental.scrbl index 9f4420afa2..f0662ffcdc 100644 --- a/collects/typed-scheme/scribblings/reference/experimental.scrbl +++ b/collects/typed-scheme/scribblings/reference/experimental.scrbl @@ -1,20 +1,7 @@ #lang scribble/manual -@begin[(require "../utils.rkt" scribble/eval scriblib/footnote - racket/sandbox) - (require (for-label (only-meta-in 0 [except-in typed/racket for]) - (only-in racket/base for) - racket/list srfi/14 - version/check))] - -@(define the-eval (make-base-eval)) -@(the-eval '(require (except-in typed/racket #%top-interaction #%module-begin))) -@(define the-top-eval (make-base-eval)) -@(the-top-eval '(require (except-in typed/racket #%module-begin))) - -@(define-syntax-rule (ex . args) - (examples #:eval the-top-eval . args)) - +@begin[(require "../utils.rkt") + (require (for-label (only-meta-in 0 [except-in typed/racket for])))] @title{Experimental Features} diff --git a/collects/typed-scheme/scribblings/reference/legacy.scrbl b/collects/typed-scheme/scribblings/reference/legacy.scrbl index 1954e3462f..41731947c5 100644 --- a/collects/typed-scheme/scribblings/reference/legacy.scrbl +++ b/collects/typed-scheme/scribblings/reference/legacy.scrbl @@ -1,20 +1,7 @@ #lang scribble/manual -@begin[(require "../utils.rkt" scribble/eval scriblib/footnote - racket/sandbox) - (require (for-label (only-meta-in 0 [except-in typed/racket for]) - (only-in racket/base for) - racket/list srfi/14 - version/check))] - -@(define the-eval (make-base-eval)) -@(the-eval '(require (except-in typed/racket #%top-interaction #%module-begin))) -@(define the-top-eval (make-base-eval)) -@(the-top-eval '(require (except-in typed/racket #%module-begin))) - -@(define-syntax-rule (ex . args) - (examples #:eval the-top-eval . args)) - +@begin[(require "../utils.rkt") + (require (for-label (only-meta-in 0 [except-in typed/racket for])))] @title{Legacy Forms} diff --git a/collects/typed-scheme/scribblings/reference/libraries.scrbl b/collects/typed-scheme/scribblings/reference/libraries.scrbl index 2e57b02e4a..5444e2c9c5 100644 --- a/collects/typed-scheme/scribblings/reference/libraries.scrbl +++ b/collects/typed-scheme/scribblings/reference/libraries.scrbl @@ -1,20 +1,11 @@ #lang scribble/manual -@begin[(require "../utils.rkt" scribble/eval scriblib/footnote - racket/sandbox) +@begin[(require "../utils.rkt") (require (for-label (only-meta-in 0 [except-in typed/racket for]) (only-in racket/base for) - racket/list srfi/14 + racket/list srfi/14 net/url version/check))] -@(define the-eval (make-base-eval)) -@(the-eval '(require (except-in typed/racket #%top-interaction #%module-begin))) -@(define the-top-eval (make-base-eval)) -@(the-top-eval '(require (except-in typed/racket #%module-begin))) - -@(define-syntax-rule (ex . args) - (examples #:eval the-top-eval . args)) - @title{Libraries Provided With Typed Racket} diff --git a/collects/typed-scheme/scribblings/reference/no-check.scrbl b/collects/typed-scheme/scribblings/reference/no-check.scrbl index 7cc9096f0f..d8dff2e696 100644 --- a/collects/typed-scheme/scribblings/reference/no-check.scrbl +++ b/collects/typed-scheme/scribblings/reference/no-check.scrbl @@ -1,20 +1,7 @@ #lang scribble/manual -@begin[(require "../utils.rkt" scribble/eval scriblib/footnote - racket/sandbox) - (require (for-label (only-meta-in 0 [except-in typed/racket for]) - (only-in racket/base for) - racket/list srfi/14 - version/check))] - -@(define the-eval (make-base-eval)) -@(the-eval '(require (except-in typed/racket #%top-interaction #%module-begin))) -@(define the-top-eval (make-base-eval)) -@(the-top-eval '(require (except-in typed/racket #%module-begin))) - -@(define-syntax-rule (ex . args) - (examples #:eval the-top-eval . args)) - +@begin[(require "../utils.rkt") + (require (for-label (only-meta-in 0 [except-in typed/racket for])))] @title{Typed Racket Syntax Without Type Checking} diff --git a/collects/typed-scheme/scribblings/reference/optimization.scrbl b/collects/typed-scheme/scribblings/reference/optimization.scrbl index 3fc6353ad6..e4b459e8a0 100644 --- a/collects/typed-scheme/scribblings/reference/optimization.scrbl +++ b/collects/typed-scheme/scribblings/reference/optimization.scrbl @@ -1,20 +1,7 @@ #lang scribble/manual -@begin[(require "../utils.rkt" scribble/eval scriblib/footnote - racket/sandbox) - (require (for-label (only-meta-in 0 [except-in typed/racket for]) - (only-in racket/base for) - racket/list srfi/14 - version/check))] - -@(define the-eval (make-base-eval)) -@(the-eval '(require (except-in typed/racket #%top-interaction #%module-begin))) -@(define the-top-eval (make-base-eval)) -@(the-top-eval '(require (except-in typed/racket #%module-begin))) - -@(define-syntax-rule (ex . args) - (examples #:eval the-top-eval . args)) - +@begin[(require "../utils.rkt" scriblib/footnote) + (require (for-label (only-meta-in 0 [except-in typed/racket for])))] @title{Optimization in Typed Racket} diff --git a/collects/typed-scheme/scribblings/reference/special-forms.scrbl b/collects/typed-scheme/scribblings/reference/special-forms.scrbl index c82960dc8c..55a844f1be 100644 --- a/collects/typed-scheme/scribblings/reference/special-forms.scrbl +++ b/collects/typed-scheme/scribblings/reference/special-forms.scrbl @@ -1,11 +1,8 @@ #lang scribble/manual -@begin[(require "../utils.rkt" scribble/eval scriblib/footnote - racket/sandbox) +@begin[(require "../utils.rkt" scribble/eval racket/sandbox) (require (for-label (only-meta-in 0 [except-in typed/racket for]) - (only-in racket/base for) - racket/list srfi/14 - version/check))] + (only-in racket/base for)))] @(define the-eval (make-base-eval)) @(the-eval '(require (except-in typed/racket #%top-interaction #%module-begin))) @@ -368,3 +365,5 @@ a @racket[require/typed] form. Here is an example of using @racket[file-or-directory-modify-seconds] has some arguments which are optional, so we need to use @racket[case->].} + +@(close-eval the-eval) diff --git a/collects/typed-scheme/scribblings/reference/typed-regions.scrbl b/collects/typed-scheme/scribblings/reference/typed-regions.scrbl index 4abd0dfa45..a17fdc5f3f 100644 --- a/collects/typed-scheme/scribblings/reference/typed-regions.scrbl +++ b/collects/typed-scheme/scribblings/reference/typed-regions.scrbl @@ -1,20 +1,13 @@ #lang scribble/manual -@begin[(require "../utils.rkt" scribble/eval scriblib/footnote - racket/sandbox) - (require (for-label (only-meta-in 0 [except-in typed/racket for]) - (only-in racket/base for) - racket/list srfi/14 - version/check))] +@begin[(require "../utils.rkt" scribble/eval racket/sandbox) + (require (for-label (only-meta-in 0 [except-in typed/racket for])))] @(define the-eval (make-base-eval)) @(the-eval '(require (except-in typed/racket #%top-interaction #%module-begin))) @(define the-top-eval (make-base-eval)) @(the-top-eval '(require (except-in typed/racket #%module-begin))) -@(define-syntax-rule (ex . args) - (examples #:eval the-top-eval . args)) - @title{Typed Regions} @@ -62,3 +55,4 @@ have the types ascribed to them; these types are converted to contracts and chec (fun val)]} +@(close-eval the-eval) diff --git a/collects/typed-scheme/scribblings/reference/types.scrbl b/collects/typed-scheme/scribblings/reference/types.scrbl index 6c768561d3..d435a70fbc 100644 --- a/collects/typed-scheme/scribblings/reference/types.scrbl +++ b/collects/typed-scheme/scribblings/reference/types.scrbl @@ -1,11 +1,7 @@ #lang scribble/manual -@begin[(require "../utils.rkt" scribble/eval scriblib/footnote - racket/sandbox) - (require (for-label (only-meta-in 0 [except-in typed/racket for]) - (only-in racket/base for) - racket/list srfi/14 - version/check))] +@begin[(require "../utils.rkt" scribble/eval racket/sandbox) + (require (for-label (only-meta-in 0 [except-in typed/racket for])))] @(define the-eval (make-base-eval)) @(the-eval '(require (except-in typed/racket #%top-interaction #%module-begin))) @@ -354,3 +350,5 @@ recursive type in the body @racket[t] @defform[(Option t)]{Either @racket[t] or @racket[#f]} @defform[(Opaque t)]{A type constructed using @racket[require-opaque-type].} + +@(close-eval the-eval) diff --git a/collects/typed-scheme/scribblings/reference/utilities.scrbl b/collects/typed-scheme/scribblings/reference/utilities.scrbl index 58102924b5..3e0da6111c 100644 --- a/collects/typed-scheme/scribblings/reference/utilities.scrbl +++ b/collects/typed-scheme/scribblings/reference/utilities.scrbl @@ -1,21 +1,13 @@ #lang scribble/manual -@begin[(require "../utils.rkt" scribble/eval scriblib/footnote - racket/sandbox) - (require (for-label (only-meta-in 0 [except-in typed/racket for]) - (only-in racket/base for) - racket/list srfi/14 - version/check))] +@begin[(require "../utils.rkt" scribble/eval racket/sandbox) + (require (for-label (only-meta-in 0 [except-in typed/racket for])))] @(define the-eval (make-base-eval)) @(the-eval '(require (except-in typed/racket #%top-interaction #%module-begin))) @(define the-top-eval (make-base-eval)) @(the-top-eval '(require (except-in typed/racket #%module-begin))) -@(define-syntax-rule (ex . args) - (examples #:eval the-top-eval . args)) - - @title{Utilities} Typed Racket provides some additional utility functions to facilitate typed programming. @@ -51,3 +43,4 @@ program errors. These assertions behave like @racket[assert]. @defproc[(index? [v any/c]) boolean?]{A predicate for the @racket[Index] type.} +@(close-eval the-eval)