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

Documentation for heterogenous vectors.

Browse Source 
Closes PR 10291.

original commit: 756bcc8a5e6509b2729ecfb5a20fed448224381f
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-19 11:08:07 -05:00
parent eb9f6a9916
commit 87ff7915f6
2 changed files with 20 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -504,26 +504,24 @@
[syntax-source (-> (-Syntax Univ) Univ)]
[syntax-position (-> (-Syntax Univ) (-opt N))]
[datum->syntax
(-poly
(a)
(let* ([Pre Syntax-Sexp]
[I (-Syntax Sym)]
[A Any-Syntax]
[S (-Syntax Univ)]
[ctxt (-opt S)]
[srclist (-Tuple (list
Univ
(-opt -Integer)
(-opt -Integer)
(-opt -Integer)
(-opt -Integer)))]
[srcloc (Un S (-val #f) srclist)]
[prop (-opt S)]
[cert (-opt S)])
(cl->*
(->opt ctxt Sym [srcloc prop cert] I)
(->opt ctxt Pre [srcloc prop cert] A)
(->opt ctxt Univ [srcloc prop cert] S))))]
(let* ([Pre Syntax-Sexp]
[I (-Syntax Sym)]
[A Any-Syntax]
[S (-Syntax Univ)]
[ctxt (-opt S)]
[srclist (-Tuple (list
Univ
(-opt -Integer)
(-opt -Integer)
(-opt -Integer)
(-opt -Integer)))]
[srcloc (Un S (-val #f) srclist)]
[prop (-opt S)]
[cert (-opt S)])
(cl->*
(->opt ctxt Sym [srcloc prop cert] I)
(->opt ctxt Pre [srcloc prop cert] A)
(->opt ctxt Univ [srcloc prop cert] S)))]
[syntax->datum (cl->* (-> Any-Syntax -Sexp)
(-> (-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 ...]}
@defform[(List t ...)]{is the type of the list with one element, in order,
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
types @racket[t ...]. This can only appear as the return type of a
function.}