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

avoid trying to reconstruct bogus arrow type, use dummy instead

Browse Source 
original commit: 8461045e8cfaf2dbd4fffb88eed046c44276796a
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-10 15:42:23 -04:00
parent 3dfdcf9722
commit d483be21af
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -126,12 +126,14 @@
[#:arr dom rng rest drest kws
;; 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))]
[st* (lambda (t) (for-type (+ arg-count k) t))])
(make-arr (map for-type dom)
(st* rng)
(and rest (for-type rest))
(and drest (cons (for-type (car drest)) (cdr drest)))
(map for-type kws)))]))
[st* (lambda (t) (index-free-in? (+ arg-count k) t))])
(for-each for-type dom)
(st* rng)
(and rest (for-type rest))
(and drest (for-type (car drest)))
(for-each for-type kws)
;; dummy return value
(make-arr* null Univ))]))
(for-type type)
#f))