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

Remove obselete docs.

Browse Source 
Add docs for legacy forms.
This commit is contained in:
Sam Tobin-Hochstadt 2010-08-02 17:23:01 -04:00
parent 1ce4040cd2
commit 39c2359006
1 changed files with 16 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
collects/typed-scheme/scribblings/ts-reference.scrbl
View File

@ -231,16 +231,6 @@ recursive type in the body @racket[t]}
@defform[(Option t)]{Either @racket[t] of @racket[#f]} @defform[(Option t)]{Either @racket[t] of @racket[#f]}
Other types cannot be written by the programmer, but are used
internally and may appear in error messages.
@defform/none[(struct:n (t ...))]{is the type of structures named
@racket[n] with field types @racket[t]. There may be multiple such
types with the same printed representation.}
@defform/none[<n>]{is the printed representation of a reference to the
type variable @racket[n]}
@section[#:tag "special-forms"]{Special Form Reference} @section[#:tag "special-forms"]{Special Form Reference}
Typed Racket provides a variety of special forms above and beyond Typed Racket provides a variety of special forms above and beyond
@ -616,4 +606,20 @@ specifying the language of your program:
@racketmod[typed/racket #:optimize] @racketmod[typed/racket #:optimize]
@section{Legacy Forms}
The following forms are provided by Typed Racket for backwards
compatibility.
@defidform[define-type-alias]{Equivalent to @racket[define-type].}
@defidform[require/opaque-type]{Similar to using the @racket[opaque]
keyword with @racket[require/typed].}
@defidform[require-typed-struct]{Similar to using the @racket[struct]
keyword with @racket[require/typed].}
@(defmodulelang* (typed-scheme)
#:use-sources (typed-scheme/typed-scheme
typed-scheme/private/prims))
Equivalent to the @racketmod[typed/racket/base] language.
} }