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

Document singleton symbol types.

Browse Source 
svn: r12072

original commit: 2b4a60ced6c62b02d13d4c0fbb7ffc3ad702a9c0
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-20 14:04:10 +00:00
parent a418e160c0
commit 693829c961
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
types @scheme[t ...]. This can only appear as the return type of a
function.}
@defform/none[v]{where @scheme[v] is a number, boolean or string, is the singleton type containing
only that value}
@defform/none[v]{where @scheme[v] is a number, boolean or string, is the singleton type containing 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
name or a type variable}
@defform[(Rec n t)]{is a recursive type where @scheme[n] is bound to the