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

doc: comment on values vs. All (#508)

Browse Source 
An `(All (A) ....)` doesn't quantify over `(Values ....)` types
This commit is contained in:
Benjamin Greenman 2017-03-06 11:21:13 -05:00 committed by Sam Tobin-Hochstadt
parent b24507a71b
commit 1b62cdfd5a
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
typed-racket-doc/typed-racket/scribblings/reference/types.scrbl
View File

@ -775,6 +775,9 @@ functions and continuation mark functions.
types @racket[t ...]. This can only appear as the return type of a
function.
@ex[(values 1 2 3)]}
Note that a type variable cannot be instantiated with a @racket[(Values ....)]
type. For example, the type @racket[(All (A) (-> A))] describes a thunk that
returns exactly one value.
@defform/none[v]{where @racket[v] is a number, boolean or string, is the singleton type containing only that value}
@defform/none[(quote val)]{where @racket[val] is a Racket value, is the singleton type containing only that value}
@defform/none[i]{where @racket[i] is an identifier can be a reference to a type