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

mirror an earlier optimization in opt/c whereby (-> any/c ... any)

Browse Source 
just turns into an arity check
This commit is contained in:
Robby Findler 2012-04-13 20:04:23 -05:00
parent 9344a7a242
commit 2d08319b6c
1 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
collects/racket/contract/private/opters.rkt
View File

@ -475,7 +475,23 @@
stronger-ribs-dom stronger-ribs-dom
dom-chaperone?))) dom-chaperone?)))
(syntax-case* stx (-> values any) module-or-top-identifier=? (syntax-case* stx (-> values any any/c) module-or-top-identifier=?
[(-> any/c ... any)
(with-syntax ([n (- (length (syntax->list stx)) 2)])
(values
(with-syntax ((val (opt/info-val opt/info))
(ctc (opt/info-contract opt/info))
(blame (opt/info-blame opt/info)))
(syntax (if (procedure-arity-includes? val n)
val
(raise-flat-arrow-err blame val n))))
null
null
null
#'(procedure-arity-includes? val n)
#f
null
#t))]
[(-> dom ... (values rng ...)) [(-> dom ... (values rng ...))
(if (ormap (λ (x) (keyword? (syntax-e x))) (syntax->list #'(dom ...))) (if (ormap (λ (x) (keyword? (syntax-e x))) (syntax->list #'(dom ...)))
(opt/unknown opt/i opt/info stx) ;; give up if there is a mandatory keyword (opt/unknown opt/i opt/info stx) ;; give up if there is a mandatory keyword
@ -503,6 +519,10 @@
(values next lift superlift partial flat _ stronger-ribs chaperone?) (values next lift superlift partial flat _ stronger-ribs chaperone?)
(opt/unknown opt/i opt/info stx))))])) (opt/unknown opt/i opt/info stx))))]))
(define (raise-flat-arrow-err blame val n)
(raise-blame-error blame val
"expected a procedure matching the contract ~s"
`(-> ,@(build-list n (λ (x) 'any/c)) any)))
(define (bad-number-of-arguments blame val args dom-len) (define (bad-number-of-arguments blame val args dom-len)
(define num-values (length args)) (define num-values (length args))