From f936f3560d49eb8a64e61104769014b752939745 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 7 Jun 2011 13:07:46 -0400 Subject: [PATCH] Fix TR docs wrt to `racket/function' change, close evaluators, fix copy/paste typo in `thunk' docs. original commit: 40a88b6037296c44dfafc98a495e3a29825e2c88 --- collects/typed-scheme/scribblings/more.scrbl | 7 +++++-- collects/typed-scheme/scribblings/types.scrbl | 3 ++- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/scribblings/more.scrbl b/collects/typed-scheme/scribblings/more.scrbl index 189e5506..09a93055 100644 --- a/collects/typed-scheme/scribblings/more.scrbl +++ b/collects/typed-scheme/scribblings/more.scrbl @@ -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) diff --git a/collects/typed-scheme/scribblings/types.scrbl b/collects/typed-scheme/scribblings/types.scrbl index e766f023..94c6d6cf 100644 --- a/collects/typed-scheme/scribblings/types.scrbl +++ b/collects/typed-scheme/scribblings/types.scrbl @@ -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"]