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

lift some work out so it happens earlier (and less often) in

Browse Source 
the -> contract combinators. This speeds up the running of the (new)
file tut.scrbl by about 10%.
This commit is contained in:
Robby Findler 2012-02-05 17:23:05 -06:00
parent 794240bf67
commit 3f6a835572
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -465,17 +465,14 @@ v4 todo:
[partial-ranges (map (λ (rng) (rng blame)) rngs-proj)]
[partial-mandatory-kwds (map (λ (kwd) (kwd swapped)) mandatory-kwds-proj)]
[partial-optional-kwds (map (λ (kwd) (kwd swapped)) optional-kwds-proj)])
(define the-args (append partial-doms partial-optional-doms
partial-mandatory-kwds partial-optional-kwds
partial-ranges))
(λ (val)
(if has-rest?
(check-procedure/more val mtd? dom-length mandatory-keywords optional-keywords blame)
(check-procedure val mtd? dom-length optionals-length mandatory-keywords optional-keywords blame))
(define chap/imp-func
(apply func
blame
val
(append partial-doms partial-optional-doms
partial-mandatory-kwds partial-optional-kwds
partial-ranges)))
(define chap/imp-func (apply func blame val the-args))
(if post
(wrapper
val