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

Documentation for heterogenous vectors.

Browse Source 
Closes PR 10291.
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-19 11:08:07 -05:00
parent 638245e4c5
commit 756bcc8a5e
2 changed files with 20 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/private/base-env.rkt
View File

@ -504,8 +504,6 @@
[syntax-source (-> (-Syntax Univ) Univ)] [syntax-source (-> (-Syntax Univ) Univ)]
[syntax-position (-> (-Syntax Univ) (-opt N))] [syntax-position (-> (-Syntax Univ) (-opt N))]
[datum->syntax [datum->syntax
(-poly
(a)
(let* ([Pre Syntax-Sexp] (let* ([Pre Syntax-Sexp]
[I (-Syntax Sym)] [I (-Syntax Sym)]
[A Any-Syntax] [A Any-Syntax]
@ -523,7 +521,7 @@
(cl->* (cl->*
(->opt ctxt Sym [srcloc prop cert] I) (->opt ctxt Sym [srcloc prop cert] I)
(->opt ctxt Pre [srcloc prop cert] A) (->opt ctxt Pre [srcloc prop cert] A)
(->opt ctxt Univ [srcloc prop cert] S))))] (->opt ctxt Univ [srcloc prop cert] S)))]
[syntax->datum (cl->* (-> Any-Syntax -Sexp) [syntax->datum (cl->* (-> Any-Syntax -Sexp)
(-> (-Syntax Univ) Univ))] (-> (-Syntax Univ) Univ))]

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

@ -93,6 +93,8 @@ The following base types are parameteric in their type arguments.
type variables @racket[v ...]} type variables @racket[v ...]}
@defform[(List t ...)]{is the type of the list with one element, in order, @defform[(List t ...)]{is the type of the list with one element, in order,
for each type provided to the @racket[List] type constructor.} for each type provided to the @racket[List] type constructor.}
@defform[(Vector t ...)]{is the type of the list with one element, in order,
for each type provided to the @racket[Vector] type constructor.}
@defform[(values t ...)]{is the type of a sequence of multiple values, with @defform[(values t ...)]{is the type of a sequence of multiple values, with
types @racket[t ...]. This can only appear as the return type of a types @racket[t ...]. This can only appear as the return type of a
function.} function.}