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

More info in internal errors.

Browse Source 
Fix substitution in nested ... case.

original commit: 61cefef89c8120ffc46d9cc9095637d8337c924e
This commit is contained in:
Sam Tobin-Hochstadt 2008-07-07 14:25:15 -04:00
parent 6fac649e7a
commit bbb3e251f8
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -40,7 +40,8 @@
[#:arr dom rng rest drest thn-eff els-eff
(begin
(when (and (pair? drest)
(eq? name (cdr drest)))
(eq? name (cdr drest))
(just-Dotted? name))
(int-err "substitute used on ... variable ~a in type ~a" name target))
(make-arr (map sb dom)
(sb rng)