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

Be specific in what we're iterating over.

Browse Source 
svn: r11711
This commit is contained in:
Stevie Strickland 2008-09-13 01:37:43 +00:00
parent c484131597
commit ed067cb351
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/scheme/private/contract-arrow.ss
View File

@ -124,7 +124,7 @@ v4 todo:
[dom-length (length (->-doms/c ctc))] [dom-length (length (->-doms/c ctc))]
[optionals-length (length (->-optional-doms/c ctc))]) [optionals-length (length (->-optional-doms/c ctc))])
(λ (pos-blame neg-blame src-info orig-str) (λ (pos-blame neg-blame src-info orig-str)
(let ([partial-doms (for/list ([dom doms-proj] (let ([partial-doms (for/list ([dom (in-list doms-proj)]
[n (in-naturals 1)]) [n (in-naturals 1)])
(dom neg-blame pos-blame src-info (dom neg-blame pos-blame src-info
(format "required argument ~a of ~a" n orig-str)))] (format "required argument ~a of ~a" n orig-str)))]
@ -132,22 +132,22 @@ v4 todo:
(list (rest-proj neg-blame pos-blame src-info (list (rest-proj neg-blame pos-blame src-info
(format "rest argument of ~a" orig-str))) (format "rest argument of ~a" orig-str)))
null)] null)]
[partial-optional-doms (for/list ([dom doms-optional-proj] [partial-optional-doms (for/list ([dom (in-list doms-optional-proj)]
[n (in-naturals 1)]) [n (in-naturals 1)])
(dom neg-blame pos-blame src-info (dom neg-blame pos-blame src-info
(format "optional argument ~a of ~a" (format "optional argument ~a of ~a"
n orig-str)))] n orig-str)))]
[partial-ranges (for/list ([rng rngs-proj] [partial-ranges (for/list ([rng (in-list rngs-proj)]
[n (in-naturals 1)]) [n (in-naturals 1)])
(rng pos-blame neg-blame src-info (rng pos-blame neg-blame src-info
(format "result ~a of ~a" n orig-str)))] (format "result ~a of ~a" n orig-str)))]
[partial-mandatory-kwds (for/list ([kwd mandatory-kwds-proj] [partial-mandatory-kwds (for/list ([kwd (in-list mandatory-kwds-proj)]
[kwd-lit mandatory-keywords]) [kwd-lit (in-list mandatory-keywords)])
(kwd neg-blame pos-blame src-info (kwd neg-blame pos-blame src-info
(format "keyword argument ~a of ~a" (format "keyword argument ~a of ~a"
kwd-lit orig-str)))] kwd-lit orig-str)))]
[partial-optional-kwds (for/list ([kwd optional-kwds-proj] [partial-optional-kwds (for/list ([kwd (in-list optional-kwds-proj)]
[kwd-lit optional-keywords]) [kwd-lit (in-list optional-keywords)])
(kwd neg-blame pos-blame src-info (kwd neg-blame pos-blame src-info
(format "keyword argument ~a of ~a" (format "keyword argument ~a of ~a"
kwd-lit orig-str)))]) kwd-lit orig-str)))])