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

Document ordering in `case-lambda' types.

Browse Source 
Closes PR 11394.

original commit: 25d2827d0dbf25e797c20aa6ec24cd3b7794554d
This commit is contained in:
Sam Tobin-Hochstadt 2010-11-07 17:54:00 -05:00
parent 034c06a30e
commit 84a3802952
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/scribblings/ts-reference.scrbl
View File

@ -216,7 +216,8 @@ by @racket[read].}
@defform[(U t ...)]{is the union of the types @racket[t ...].
@ex[(λ: ([x : Real])(if (> 0 x) "yes" 'no))]}
@defform[(case-lambda fun-ty ...)]{is a function that behaves like all of
the @racket[fun-ty]s. The @racket[fun-ty]s must all be function
the @racket[fun-ty]s, considered in order from first to last.
The @racket[fun-ty]s must all be function
types constructed with @racket[->].}
@defform/none[(t t1 t2 ...)]{is the instantiation of the parametric type
@racket[t] at types @racket[t1 t2 ...]}