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

Quote the identifier in the declaration error msg

Browse Source 
Please merge to v6.0

original commit: 34c5b327463db014fb0d3c42922d60e75e4ada63
This commit is contained in:
Asumu Takikawa 2013-12-12 16:12:58 -05:00
parent c95008e2c3
commit 14547ed763
4 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/colon.rkt
View File

@ -46,7 +46,7 @@
(unless (or (syntax-e #'top-level?)
(identifier-binding #'i))
(tc-error/stx #'i
"Declaration for ~a provided, but ~a has no definition"
"Declaration for `~a' provided, but `~a' has no definition"
(syntax-e #'i)
(syntax-e #'i)))
(syntax-property (syntax/loc stx (begin (quote-syntax (:-internal i ty))

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt vendored
View File

@ -85,7 +85,7 @@
(when (box? e)
(let ([bnd (identifier-binding id)])
(tc-error/expr #:stx id
"Declaration for ~a provided, but ~a ~a"
"Declaration for `~a' provided, but `~a' ~a"
(syntax-e id) (syntax-e id)
(cond [(eq? bnd 'lexical) "is a lexical binding"] ;; should never happen
[(not bnd) "has no definition"]

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/pr14246-2.rkt
View File

@ -1,5 +1,5 @@
#;
(exn-pred #rx"Type Checker: Declaration for n provided, but n has no definition")
(exn-pred #rx"Type Checker: Declaration for `n' provided, but `n' has no definition")
#lang typed/racket
;; Similar to pr14246.rkt, but for local definitions

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/pr14246.rkt
View File

@ -1,5 +1,5 @@
#;
(exn-pred #rx"Type Checker: Declaration for n provided, but n has no definition")
(exn-pred #rx"Type Checker: Declaration for `n' provided, but `n' has no definition")
#lang typed/racket
;; Test for the error message for unbound module bindings