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

don't add to identifiers

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-10 16:09:47 -04:00
parent 52c1f41a20
commit 6baef71d57
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/typecheck/tc-subst.rkt
View File

@ -43,7 +43,7 @@
;; here we have to increment the count for the domain, where the new bindings are in scope ;; here we have to increment the count for the domain, where the new bindings are in scope
(let* ([arg-count (+ (length dom) (if rest 1 0) (if drest 1 0) (length kws))] (let* ([arg-count (+ (length dom) (if rest 1 0) (if drest 1 0) (length kws))]
[st* (if (integer? k) [st* (if (integer? k)
(λ (t) (subst-type t (+ arg-count k) o polarity)) (λ (t) (subst-type t (if (number? k) (+ arg-count k) k) o polarity))
st)]) st)])
(make-arr (map st dom) (make-arr (map st dom)
(st* rng) (st* rng)
@ -126,7 +126,7 @@
[#:arr dom rng rest drest kws [#:arr dom rng rest drest kws
;; here we have to increment the count for the domain, where the new bindings are in scope ;; here we have to increment the count for the domain, where the new bindings are in scope
(let* ([arg-count (+ (length dom) (if rest 1 0) (if drest 1 0) (length kws))] (let* ([arg-count (+ (length dom) (if rest 1 0) (if drest 1 0) (length kws))]
[st* (lambda (t) (index-free-in? (+ arg-count k) t))]) [st* (lambda (t) (index-free-in? (if (number? k) (+ arg-count k) k) t))])
(for-each for-type dom) (for-each for-type dom)
(st* rng) (st* rng)
(and rest (for-type rest)) (and rest (for-type rest))