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

Fix formatting for -> doc.

Browse Source 
Fixes PR 9297.

svn: r9326

original commit: 5870e7261a805f02a3ec6a2d528dfd892bfa9850
This commit is contained in:
Sam Tobin-Hochstadt 2008-04-15 22:37:20 +00:00
parent 2e2f299a10
commit 9936e61c9a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -287,7 +287,7 @@ The following constructors are parameteric in their type arguments.
@defform[(Pair s t)]{is the pair containing @scheme[s] as the @scheme[car]
and @scheme[t] as the @scheme[cdr]}
@defform[(-> dom ... rng)]{is the type of functions from the (possibly-empty)
@defform[#:id -> (dom ... -> rng)]{is the type of functions from the (possibly-empty)
sequence @scheme[dom ...] to the @scheme[rng] type.}
@defform[(U t ...)]{is the union of the types @scheme[t ...]}
@defform[(case-lambda fun-ty ...)]{is a function that behaves like all of