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

Remove dead code in an attempt to make it clear what needs to change here.

Browse Source
This commit is contained in:
Stevie Strickland 2010-08-12 14:11:25 -04:00
parent e717cbc84a
commit dc415b21cc
1 changed files with 14 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
collects/racket/contract/private/arrow.rkt
View File

@ -355,26 +355,22 @@ v4 todo:
(lambda (val) (lambda (val)
(chk val #,(and (syntax-parameter-value #'making-a-method) #t)) (chk val #,(and (syntax-parameter-value #'making-a-method) #t))
(make-contracted-function inner-lambda ctc)))]) (make-contracted-function inner-lambda ctc)))])
(values (syntax-property
(syntax-property (syntax
(syntax (build--> '->
(build--> '-> #f #f
#f #f (list dom-ctcs ...) '() #f
(list dom-ctcs ...) '() #f (list kwd-ctcs ...) '(kwds ...) '() '()
(list kwd-ctcs ...) '(kwds ...) '() '() (list rng-ctcs ...) use-any?
(list rng-ctcs ...) use-any? outer-lambda))
outer-lambda)) 'racket/contract:contract
'racket/contract:contract (vector this->
(vector this-> ;; the -> in the original input to this guy
;; the -> in the original input to this guy (list (car (syntax-e stx)))
(list (car (syntax-e stx))) '())))))))
'()))
inner-args/body
(syntax (dom-names ... rng-names ...))))))))
(define-syntax (-> stx) (define-syntax (-> stx)
(let-values ([(stx _1 _2) (->/proc/main stx)]) #`(syntax-parameterize ((making-a-method #f)) #,(->/proc/main stx)))
#`(syntax-parameterize ((making-a-method #f)) #,stx)))
;; ;;
;; arrow opter ;; arrow opter