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

Avoid duplicate work.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-02-21 18:11:40 -05:00
parent d3507c4c3e
commit f10e1fd58d
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/racket/contract/private/arrow.rkt
View File

@ -1649,7 +1649,7 @@ v4 todo:
(λ (ctc)
(define dom-ctcs (map contract-projection (get-case->-dom-ctcs ctc)))
(define rng-ctcs (let ([rngs (get-case->-rng-ctcs ctc)])
(and rngs (map contract-projection (get-case->-rng-ctcs ctc)))))
(and rngs (map contract-projection rngs))))
(define rst-ctcs (base-case->-rst-ctcs ctc))
(define specs (base-case->-specs ctc))
(λ (blame)