suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Tidy up TR reference.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-06-14 16:48:08 -04:00
parent 1cf57b893c
commit d43c8fc406
10 changed files with 26 additions and 116 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
collects/typed-scheme/scribblings/reference/compatibility-languages.scrbl
View File

@ -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}

17
collects/typed-scheme/scribblings/reference/experimental.scrbl
View File

@ -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}

17
collects/typed-scheme/scribblings/reference/legacy.scrbl
View File

@ -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}

13
collects/typed-scheme/scribblings/reference/libraries.scrbl
View File

@ -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}

17
collects/typed-scheme/scribblings/reference/no-check.scrbl
View File

@ -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}

17
collects/typed-scheme/scribblings/reference/optimization.scrbl
View File

@ -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}

9
collects/typed-scheme/scribblings/reference/special-forms.scrbl
View File

@ -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)

12
collects/typed-scheme/scribblings/reference/typed-regions.scrbl
View File

@ -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)

10
collects/typed-scheme/scribblings/reference/types.scrbl
View File

@ -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)

13
collects/typed-scheme/scribblings/reference/utilities.scrbl
View File

@ -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)