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

fixes _ in contract-names for ->i

Browse Source 
closes PR 11185
This commit is contained in:
Robby Findler 2010-09-11 07:48:50 -05:00
parent 93ecaa0535
commit 1dc555e0af
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/racket/contract/private/arr-i.rkt
View File

@ -752,7 +752,9 @@
#,(and (istx-ress an-istx) #,(and (istx-ress an-istx)
(for/list ([a-res (in-list (istx-ress an-istx))]) (for/list ([a-res (in-list (istx-ress an-istx))])
`(,(if (arg/res-vars a-res) 'dep 'nodep) `(,(if (arg/res-vars a-res) 'dep 'nodep)
,(syntax-e (arg/res-var a-res)) ,(if (eres? a-res)
'_
(syntax-e (arg/res-var a-res)))
,(if (arg/res-vars a-res) ,(if (arg/res-vars a-res)
(map syntax-e (arg/res-vars a-res)) (map syntax-e (arg/res-vars a-res))
'()) '())

2
collects/tests/racket/contract-test.rktl
View File

@ -8881,6 +8881,8 @@ so that propagation occurs.
(->i () #:pre () #t [q () number?] #:post () #t)) (->i () #:pre () #t [q () number?] #:post () #t))
(test-name '(->i ([x integer?]) #:pre (x) ... [q (x) ...] #:post (x) ...) (test-name '(->i ([x integer?]) #:pre (x) ... [q (x) ...] #:post (x) ...)
(->i ([x integer?]) #:pre (x) #t [q (x) number?] #:post (x) #t)) (->i ([x integer?]) #:pre (x) #t [q (x) number?] #:post (x) #t))
(test-name '(->i ([x real?]) [_ (x) ...])
(->i ([x real?]) [_ (x) (>/c x)]))
(test-name '(case->) (case->)) (test-name '(case->) (case->))
(test-name '(case-> (-> integer? any) (-> boolean? boolean? any) (-> char? char? char? any)) (test-name '(case-> (-> integer? any) (-> boolean? boolean? any) (-> char? char? char? any))