Scheme -> Racket

This commit is contained in:
Vincent St-Amour 2010-12-10 17:17:02 -05:00
parent 09ffb70492
commit 740b8308d7
3 changed files with 6 additions and 6 deletions

View File

@ -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])

View File

@ -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

View File

@ -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)