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

Scheme -> Racket

Browse Source 
original commit: 740b8308d7d52c1b4b9f00282d1b1c5187cd81e3
This commit is contained in:
Vincent St-Amour 2010-12-10 17:17:02 -05:00
parent 432b1040dc
commit ee11638bc6
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/typecheck/tc-expr-unit.rkt
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])

2
collects/typed-scheme/typecheck/tc-toplevel.rkt
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

4
collects/typed-scheme/utils/tc-utils.rkt
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)