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

Instantiate w/ dots

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-10 12:29:53 -04:00
parent a7f81d931d
commit 5c8c2d3d96
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-scheme/private/type-utils.ss
View File

@ -6,6 +6,7 @@
"rep-utils.ss"
"free-variance.ss"
mzlib/plt-match
scheme/list
(for-syntax scheme/base))
(provide fv fv/list
@ -88,6 +89,13 @@
(unless (= (length types) (length ns))
(int-err "instantiate-poly: wrong number of types: expected ~a, got ~a" (length ns) (length types)))
(subst-all (map list ns types) body)]
[(PolyDots: (list fixed ... dotted) body)
(unless (>= (length types) (length fixed))
(int-err "instantiate-poly: wrong number of types: expected at least ~a, got ~a" (length fixed) (length types)))
(let* ([fixed-tys (take types (length fixed))]
[rest-tys (drop types (length fixed))]
[body* (subst-all (map list fixed fixed-tys) body)])
(substitute-dots rest-tys dotted body*))]
[_ (int-err "instantiate-many: requires Poly type, got ~a" t)]))