From ee11638bc6cf8f66bd6c208f976bfcfd9b1c8a22 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 10 Dec 2010 17:17:02 -0500 Subject: [PATCH] Scheme -> Racket original commit: 740b8308d7d52c1b4b9f00282d1b1c5187cd81e3 --- collects/typed-scheme/typecheck/tc-expr-unit.rkt | 6 +++--- collects/typed-scheme/typecheck/tc-toplevel.rkt | 2 +- collects/typed-scheme/utils/tc-utils.rkt | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.rkt b/collects/typed-scheme/typecheck/tc-expr-unit.rkt index b5153d39..e09a06d9 100644 --- a/collects/typed-scheme/typecheck/tc-expr-unit.rkt +++ b/collects/typed-scheme/typecheck/tc-expr-unit.rkt @@ -260,7 +260,7 @@ [(#%top . id) (check-below (tc-id #'id) expected)] ;; weird [(#%variable-reference . _) - (tc-error/expr #:return (ret expected) "#%variable-reference is not supported by Typed Scheme")] + (tc-error/expr #:return (ret expected) "#%variable-reference is not supported by Typed Racket")] ;; identifiers [x:identifier (check-below (tc-id #'x) expected)] @@ -375,7 +375,7 @@ [(#%expression e) (tc-expr #'e)] ;; weird [(#%variable-reference . _) - (tc-error/expr #:return (ret (Un)) "#%variable-reference is not supported by Typed Scheme")] + (tc-error/expr #:return (ret (Un)) "#%variable-reference is not supported by Typed Racket")] ;; identifiers [x:identifier (tc-id #'x)] ;; application @@ -428,7 +428,7 @@ ret-ty)]) (add-typeof-expr form retval) retval)] - [(tc-result1: t) (int-err "non-symbol methods not supported by Typed Scheme: ~a" t)])] + [(tc-result1: t) (int-err "non-symbol methods not supported by Typed Racket: ~a" t)])] [(tc-result1: t) (tc-error/expr #:return (or expected (ret (Un))) "send: expected a class instance, got ~a" t)])) (define (single-value form [expected #f]) diff --git a/collects/typed-scheme/typecheck/tc-toplevel.rkt b/collects/typed-scheme/typecheck/tc-toplevel.rkt index 8d4787e6..13f5e842 100644 --- a/collects/typed-scheme/typecheck/tc-toplevel.rkt +++ b/collects/typed-scheme/typecheck/tc-toplevel.rkt @@ -308,7 +308,7 @@ (set! syntax-provide? #t)) (dict-set h #'in #'out)] [((~datum protect) . _) - (tc-error "provide: protect not supported by Typed Scheme")] + (tc-error "provide: protect not supported by Typed Racket")] [_ (int-err "unknown provide form")])))] [_ (int-err "non-provide form! ~a" (syntax->datum p))]))) ;; compute the new provides diff --git a/collects/typed-scheme/utils/tc-utils.rkt b/collects/typed-scheme/utils/tc-utils.rkt index 04b8e729..97ddb2d3 100644 --- a/collects/typed-scheme/utils/tc-utils.rkt +++ b/collects/typed-scheme/utils/tc-utils.rkt @@ -1,7 +1,7 @@ #lang scheme/base #| -This file is for utilities that are only useful for Typed Scheme, but +This file is for utilities that are only useful for Typed Racket, but don't depend on any other portion of the system |# @@ -52,7 +52,7 @@ don't depend on any other portion of the system (and (syntax-transforming?) (syntax-original? (syntax-local-introduce e))) #;(and (orig-module-stx) (eq? (debugf syntax-source-module e) (debugf syntax-source-module (orig-module-stx)))) #;(syntax-source-module stx)) - (log-message l 'warning (format "Typed Scheme has detected unreachable code: ~.s" (syntax->datum (locate-stx e))) + (log-message l 'warning (format "Typed Racket has detected unreachable code: ~.s" (syntax->datum (locate-stx e))) e)))) (define (locate-stx stx)