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

Improve error message for untyped variables that don't come from the original program.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-06-14 17:22:35 -04:00
parent 7a4bd387cc
commit 3ff1a3320a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/type-annotation.rkt
View File

@ -102,7 +102,7 @@
[(type-annotation stx #:infer infer)] [(type-annotation stx #:infer infer)]
[default default] [default default]
[(not (syntax-original? stx)) [(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 [else
(tc-error "no type information on variable ~a" (syntax-e stx))]))) (tc-error "no type information on variable ~a" (syntax-e stx))])))