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

We should infer on the dotted var also, for the case where the underlying

Browse Source 
function's type and/or the arguments to said function use it.
This commit is contained in:
Stevie Strickland 2008-06-20 17:49:43 -04:00
parent a6ea8d7954
commit 6a8b7e2e14
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/private/tc-app-unit.ss
View File

@ -425,7 +425,9 @@
;; polymorphic varargs
[(tc-result: (and t
(or (Poly: vars (Function: (list (arr: dom rng rest #f thn-eff els-eff))))
(PolyDots: (list vars ... _) (Function: (list (arr: dom rng rest #f thn-eff els-eff)))))))
;; we want to infer the dotted-var here as well, and we don't use these separately
;; so we can just use "vars" instead of (list fixed-vars ... dotted-var)
(PolyDots: vars (Function: (list (arr: dom rng rest #f thn-eff els-eff)))))))
(for-each (lambda (x) (unless (not (Poly? x))
(tc-error "Polymorphic argument ~a to polymorphic function not allowed" x)))
argtypes)