From ed617d76aa9b8a66b259dc104aecff0bbf3f40ed Mon Sep 17 00:00:00 2001 From: Sorawee Porncharoenwase Date: Thu, 23 Apr 2020 11:13:33 -0700 Subject: [PATCH] Fixes #1649: correct the docs for conjoin and disjoin --- pkgs/racket-doc/scribblings/reference/procedures.scrbl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pkgs/racket-doc/scribblings/reference/procedures.scrbl b/pkgs/racket-doc/scribblings/reference/procedures.scrbl index a1bb90b2cf..096bb06b2b 100644 --- a/pkgs/racket-doc/scribblings/reference/procedures.scrbl +++ b/pkgs/racket-doc/scribblings/reference/procedures.scrbl @@ -655,7 +655,7 @@ returns the @racket[not] of @racket[proc]'s result. (map (negate =) '(1 2 3) '(1 1 1)) ]} -@defproc[((conjoin [f (-> A ... boolean?)] ...) [x A] ...) boolean?]{ +@defproc[((conjoin [f procedure?] ...) [x any/c] ...) any]{ Combines calls to each function with @racket[and]. Equivalent to @racket[(and (f x ...) ...)] @@ -668,11 +668,12 @@ Combines calls to each function with @racket[and]. Equivalent to (f 1.0) (f 1/2) (f 0.5) +((conjoin (λ (x) (values 1 2))) 0) ] } -@defproc[((disjoin [f (-> A ... boolean?)] ...) [x A] ...) boolean?]{ +@defproc[((disjoin [f procedure?] ...) [x any/c] ...) any]{ Combines calls to each function with @racket[or]. Equivalent to @racket[(or (f x ...) ...)] @@ -685,6 +686,7 @@ Combines calls to each function with @racket[or]. Equivalent to (f 1.0) (f 1/2) (f 0.5) +((disjoin (λ (x) (values 1 2))) 0) ] }