Fix TR docs wrt to `racket/function' change, close evaluators, fix
copy/paste typo in `thunk' docs. original commit: 40a88b6037296c44dfafc98a495e3a29825e2c88
This commit is contained in:
parent
5ec78220b9
commit
f936f3560d
|
@ -2,7 +2,8 @@
|
|||
|
||||
@begin[(require "utils.rkt"
|
||||
scribble/core scribble/eval
|
||||
(for-label (only-meta-in 0 typed/racket) mzlib/etc))]
|
||||
(for-label (only-meta-in 0 typed/racket)
|
||||
(only-in mzlib/etc let+)))]
|
||||
|
||||
@title[#:tag "more"]{Specifying Types}
|
||||
|
||||
|
@ -17,7 +18,7 @@ language, allowing types to be specified and used.
|
|||
@section{Type Annotation and Binding Forms}
|
||||
|
||||
In general, variables in Typed Racket must be annotated with their
|
||||
type.
|
||||
type.
|
||||
|
||||
@subsection{Annotating Definitions}
|
||||
|
||||
|
@ -159,3 +160,5 @@ Any type can be given a name with @racket[define-type].
|
|||
|
||||
Anywhere the name @racket[NN] is used, it is expanded to
|
||||
@racket[(Number -> Number)]. Type names may not be recursive.
|
||||
|
||||
@(close-eval the-eval)
|
||||
|
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
@begin[(require "utils.rkt"
|
||||
scribble/core scribble/eval
|
||||
(for-label (only-meta-in 0 typed/racket) mzlib/etc))]
|
||||
(for-label (only-meta-in 0 typed/racket)))]
|
||||
|
||||
@(define the-eval (make-base-eval))
|
||||
@(the-eval '(require typed/racket))
|
||||
|
@ -254,6 +254,7 @@ The new type constructor @racket[All] takes a list of type
|
|||
variables and a body type. The type variables are allowed to
|
||||
appear free in the body of the @racket[All] form.
|
||||
|
||||
@(close-eval the-eval)
|
||||
|
||||
@include-section["varargs.scrbl"]
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user