From 3ff1a3320a39acfa859ae79f71c4a31ccb23734c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 14 Jun 2011 17:22:35 -0400 Subject: [PATCH] Improve error message for untyped variables that don't come from the original program. --- collects/typed-scheme/private/type-annotation.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/type-annotation.rkt b/collects/typed-scheme/private/type-annotation.rkt index 0726a7df03..2072b606f2 100644 --- a/collects/typed-scheme/private/type-annotation.rkt +++ b/collects/typed-scheme/private/type-annotation.rkt @@ -102,7 +102,7 @@ [(type-annotation stx #:infer infer)] [default default] [(not (syntax-original? stx)) - (tc-error "untyped variable: ~a" (syntax-e stx))] + (tc-error "insufficient type information to typecheck. please add more type annotations")] [else (tc-error "no type information on variable ~a" (syntax-e stx))])))