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

Provide a more informative internal error

Browse Source
This commit is contained in:
Asumu Takikawa 2012-12-04 15:33:02 -05:00
parent 3f2d4663a8
commit 04e8e33313
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-racket/types/substitute.rkt
View File

@ -48,7 +48,13 @@
[#:F name (hash-ref subst name target)] [#:F name (hash-ref subst name target)]
[#:arr dom rng rest drest kws [#:arr dom rng rest drest kws
(cond (cond
[(and (pair? drest) (ormap (and/c (cdr drest) (not/c bound-tvar?)) names)) => [(and (pair? drest)
(ormap (λ (name)
(and (equal? name (cdr drest))
(not (bound-tvar? name))
name))
names))
=>
(lambda (name) (lambda (name)
(int-err "substitute used on ... variable ~a in type ~a" name target))] (int-err "substitute used on ... variable ~a in type ~a" name target))]
[else [else