From 84a380295241c5d3f858bc7da31cfde37be575f2 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sun, 7 Nov 2010 17:54:00 -0500 Subject: [PATCH] Document ordering in `case-lambda' types. Closes PR 11394. original commit: 25d2827d0dbf25e797c20aa6ec24cd3b7794554d --- collects/typed-scheme/scribblings/ts-reference.scrbl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl index 0e711b09..84cb9545 100644 --- a/collects/typed-scheme/scribblings/ts-reference.scrbl +++ b/collects/typed-scheme/scribblings/ts-reference.scrbl @@ -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 ...]}