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

Document singleton symbol types.

Browse Source 
svn: r12072
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-20 14:04:10 +00:00
parent 9d0f9f7a05
commit 2b4a60ced6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/typed-scheme.scrbl
View File

@ -460,8 +460,8 @@ The following base types are parameteric in their type arguments.
@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 @scheme[t ...]. This can only appear as the return type of a types @scheme[t ...]. This can only appear as the return type of a
function.} function.}
@defform/none[v]{where @scheme[v] is a number, boolean or string, is the singleton type containing @defform/none[v]{where @scheme[v] is a number, boolean or string, is the singleton type containing only that value}
only that value} @defform/none['sym]{where @scheme[sym] is a symbol, is the singleton type containing only that symbol}
@defform/none[i]{where @scheme[i] is an identifier can be a reference to a type @defform/none[i]{where @scheme[i] is an identifier can be a reference to a type
name or a type variable} name or a type variable}
@defform[(Rec n t)]{is a recursive type where @scheme[n] is bound to the @defform[(Rec n t)]{is a recursive type where @scheme[n] is bound to the