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

One more "undefined identifier" change in TR

Browse Source 
For the top-level undefined/missing annotation case

original commit: 2ed669242847587a33f053e717ec2f6a6cf5ba4c
This commit is contained in:
Asumu Takikawa 2014-03-04 14:20:16 -05:00
parent 00c08e48be
commit 5aa1c61c04
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/tc-error.rkt
View File

@ -39,7 +39,9 @@
['lexical (tc-error/expr/fields "missing type for identifier"
#:more "consider adding a type annotation with `:'"
"identifier" (syntax-e e))]
[#f (tc-error/expr "untyped top-level identifier ~a" (syntax-e e))]
[#f (tc-error/expr/fields "missing type for top-level identifier"
#:more "either undefined or missing a type annotation"
"identifier" (syntax-e e))]
[(list _ _ nominal-source-mod nominal-source-id _ _ _)
(define-values (mod-path base-path)
(module-path-index-split nominal-source-mod))

4
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/interactive-tests.rkt
View File

@ -103,6 +103,10 @@
;; PR 14380
(test-form-not-exn (begin - (void)))
;; test message for undefined id
(test-form-exn #rx"either undefined or missing a type annotation"
(a-name-that-isnt-bound))
(test-form #rx"1"
(:type 1))
(test-form (regexp-quote "(U Positive-Byte Zero)")