From bbb3e251f8c24fbe31a7144a618482356470651e Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 7 Jul 2008 14:25:15 -0400 Subject: [PATCH] More info in internal errors. Fix substitution in nested ... case. original commit: 61cefef89c8120ffc46d9cc9095637d8337c924e --- collects/typed-scheme/private/type-utils.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/type-utils.ss b/collects/typed-scheme/private/type-utils.ss index e6ba3654..80d7a5ff 100644 --- a/collects/typed-scheme/private/type-utils.ss +++ b/collects/typed-scheme/private/type-utils.ss @@ -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)