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

.

Browse Source 
original commit: f5b55357cc2f98e5e3b00cb2843fafc54e7ee399
This commit is contained in:
Robby Findler 2004-12-22 17:32:47 +00:00
parent 54a2bbb1d3
commit 86fc773b6e
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/mzlib/contract.ss
View File

@ -2689,7 +2689,8 @@ add struct contracts for immutable structs?
(if (flat-contract? x)
(flat-contract-predicate x)
x))]
[pred
[contracts (map (lambda (x) (if (contract? x) x (flat-contract x))) fs)]
[pred
(let loop ([pred (to-predicate (car fs))]
[preds (cdr fs)])
(cond
@ -2699,7 +2700,7 @@ add struct contracts for immutable structs?
(loop (let ([and/c-contract? (lambda (x) (and (pred x) (fst x)))])
and/c-contract?)
(cdr preds)))]))])
(flat-contract pred))]
(flat-named-contract (apply build-compound-type-name 'and/c contracts) pred))]
[else
(let* ([contracts (map (lambda (x) (if (contract? x) x (flat-contract x))) fs)]
[contract/procs (map contract-proc contracts)])