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

rename scheme to racket

Browse Source 
original commit: bff6400fb4a6ba102f087b04ab38dfcaaf53b8a8
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-21 16:06:44 -04:00
commit f71591ed45
8 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/base-env-indexing-abs.ss
View File

@ -12,7 +12,7 @@
(only-in '#%kernel [apply kernel:apply])
scheme/promise scheme/system
(only-in string-constants/private/only-once maybe-print-message)
(only-in scheme/match/runtime match:error matchable? match-equality-test)
(only-in racket/match/runtime match:error matchable? match-equality-test)
(for-template scheme)
(rename-in (types abbrev) [-Number N] [-Boolean B] [-Symbol Sym] [-Nat -Nat*]))

2
collects/typed-scheme/private/base-env-numeric.ss
View File

@ -11,7 +11,7 @@
(only-in '#%kernel [apply kernel:apply])
scheme/promise scheme/system
(only-in string-constants/private/only-once maybe-print-message)
(only-in scheme/match/runtime match:error matchable? match-equality-test)
(only-in racket/match/runtime match:error matchable? match-equality-test)
(for-syntax (only-in (types abbrev) [-Number N] [-Boolean B] [-Symbol Sym] [-Real R] [-ExactPositiveInteger -Pos])))
(define-for-syntax all-num-types (list -Pos -Nat -Integer -ExactRational -Flonum -Real N))

2
collects/typed-scheme/private/base-env.ss
View File

@ -12,7 +12,7 @@
scheme/promise scheme/system
(only-in string-constants/private/only-once maybe-print-message)
(only-in mzscheme make-namespace)
(only-in scheme/match/runtime match:error matchable? match-equality-test)
(only-in racket/match/runtime match:error matchable? match-equality-test)
(for-syntax (only-in (types abbrev) [-Number N] [-Boolean B] [-Symbol Sym])
(only-in (rep type-rep) make-HashtableTop make-MPairTop make-BoxTop make-VectorTop)))

2
collects/typed-scheme/private/base-special-env.ss
View File

@ -7,7 +7,7 @@
(only-in scheme/list cons? take drop add-between last filter-map)
(only-in rnrs/lists-6 fold-left)
'#%paramz
(only-in scheme/match/runtime match:error)
(only-in racket/match/runtime match:error)
scheme/promise
string-constants/string-constant
;(prefix-in ce: test-engine/scheme-tests)

2
collects/typed-scheme/private/with-types.ss
View File

@ -9,7 +9,7 @@
"extra-procs.ss"
"prims.ss"
"base-types.ss"
scheme/contract/regions scheme/contract/base
racket/contract/regions racket/contract/base
(for-syntax
"base-types-extra.ss"
unstable/debug

2
collects/typed-scheme/typecheck/provide-handling.ss
View File

@ -9,7 +9,7 @@
(private typed-renaming)
(rep type-rep)
(utils tc-utils)
scheme/contract/private/provide unstable/list
racket/contract/private/provide unstable/list
unstable/debug
unstable/syntax scheme/struct-info scheme/match
"def-binding.ss" syntax/parse)

10
collects/typed-scheme/typecheck/tc-app.ss
View File

@ -7,7 +7,7 @@
unstable/sequence
;; fixme - don't need to be bound in this phase - only to make syntax/parse happy
scheme/bool
(only-in scheme/private/class-internal make-object do-make-object)
(only-in racket/private/class-internal make-object do-make-object)
(only-in '#%kernel [apply k:apply])
;; end fixme
(for-syntax syntax/parse scheme/base (utils tc-utils))
@ -21,7 +21,7 @@
(for-template
(only-in '#%kernel [apply k:apply])
"internal-forms.ss" scheme/base scheme/bool
(only-in scheme/private/class-internal make-object do-make-object)))
(only-in racket/private/class-internal make-object do-make-object)))
(import tc-expr^ tc-lambda^ tc-dots^ tc-let^)
(export tc-app^)
@ -478,9 +478,9 @@
kw-list
(#%plain-app list . kw-arg-list)
. pos-args)
#:declare cpce (id-from 'checked-procedure-check-and-extract 'scheme/private/kw)
#:declare s-kp (id-from 'struct:keyword-procedure 'scheme/private/kw)
#:declare kpe (id-from 'keyword-procedure-extract 'scheme/private/kw)
#:declare cpce (id-from 'checked-procedure-check-and-extract 'racket/private/kw)
#:declare s-kp (id-from 'struct:keyword-procedure 'racket/private/kw)
#:declare kpe (id-from 'keyword-procedure-extract 'racket/private/kw)
(match (tc-expr #'fn)
[(tc-result1: (Poly: vars
(Function: (list (and ar (arr: dom rng (and rest #f) (and drest #f) kw-formals))))))

4
collects/typed-scheme/typecheck/tc-expr-unit.ss
View File

@ -12,11 +12,11 @@
(except-in (utils tc-utils stxclass-util))
(env lexical-env)
(only-in (env type-environments) lookup current-tvars extend-env)
scheme/private/class-internal
racket/private/class-internal
(except-in syntax/parse id)
(only-in srfi/1 split-at))
(require (for-template scheme/base scheme/private/class-internal))
(require (for-template scheme/base racket/private/class-internal))
(import tc-if^ tc-lambda^ tc-app^ tc-let^ check-subforms^)
(export tc-expr^)