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

remove overly aggressive use of procedure-specialize

Browse Source
This commit is contained in:
Robby Findler 2015-12-30 09:28:30 -06:00
parent a5b3d6b3d0
commit f2f38cdf4a
1 changed files with 1 additions and 2 deletions

3
racket/collects/racket/contract/private/orc.rkt
View File

@ -70,8 +70,7 @@
[(null? rst) fst-pred] [(null? rst) fst-pred]
[else [else
(let ([r (loop (car rst) (cdr rst))]) (let ([r (loop (car rst) (cdr rst))])
(procedure-specialize (λ (x) (or (fst-pred x) (r x))))])))]))
(λ (x) (or (fst-pred x) (r x)))))])))]))
(define (single-or/c-late-neg-projection ctc) (define (single-or/c-late-neg-projection ctc)
(define c-proj (get/build-late-neg-projection (single-or/c-ho-ctc ctc))) (define c-proj (get/build-late-neg-projection (single-or/c-ho-ctc ctc)))