suzanne.soy/typed-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 
original commit: 3ff1a3320a39acfa859ae79f71c4a31ccb23734c
This commit is contained in:
Vincent St-Amour 2011-06-14 17:22:35 -04:00
parent a54a51ba07
commit 76e8ccbf53
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)]
[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))])))