suzanne.soy/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
(cherry picked from commit 34c5b32746)
This commit is contained in:
Asumu Takikawa 2013-12-12 16:12:58 -05:00 committed by Ryan Culpepper
parent a7d988b897
commit 69f7e78e6d
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