Move typed-scheme to typed-racket collection.

Compatibilty typed-scheme collection left. original commit: d2e1cc02dc587b8ed29548b16a92ee4abcde4875
2011-09-03 19:16:28 -04:00 · 2011-09-03 19:16:28 -04:00 · a5d9b3885a
commit a5d9b3885a
parent 6247380066
588 changed files with 90 additions and 93 deletions
--- a/collects/tests/typed-racket/fail/all-bad-syntax.rkt
+++ b/collects/tests/typed-racket/fail/all-bad-syntax.rkt
--- a/collects/tests/typed-racket/fail/ann-map-funcs.rkt
+++ b/collects/tests/typed-racket/fail/ann-map-funcs.rkt
--- a/collects/tests/typed-racket/fail/apply-dots.rkt
+++ b/collects/tests/typed-racket/fail/apply-dots.rkt
--- a/collects/tests/typed-racket/fail/back-and-forth.rkt
+++ b/collects/tests/typed-racket/fail/back-and-forth.rkt
--- a/collects/tests/typed-racket/fail/bad-ann.rkt
+++ b/collects/tests/typed-racket/fail/bad-ann.rkt
--- a/collects/tests/typed-racket/fail/bad-any.rkt
+++ b/collects/tests/typed-racket/fail/bad-any.rkt
--- a/collects/tests/typed-racket/fail/bad-first.rkt
+++ b/collects/tests/typed-racket/fail/bad-first.rkt
--- a/collects/tests/typed-racket/fail/bad-hash-ref.rkt
+++ b/collects/tests/typed-racket/fail/bad-hash-ref.rkt
--- a/collects/tests/typed-racket/fail/bad-map-poly.rkt
+++ b/collects/tests/typed-racket/fail/bad-map-poly.rkt
--- a/collects/tests/typed-racket/fail/bad-type-app.rkt
+++ b/collects/tests/typed-racket/fail/bad-type-app.rkt
--- a/collects/tests/typed-racket/fail/box-fail.rkt
+++ b/collects/tests/typed-racket/fail/box-fail.rkt
--- a/collects/tests/typed-racket/fail/check-expect-fail.rkt
+++ b/collects/tests/typed-racket/fail/check-expect-fail.rkt
--- a/collects/tests/typed-racket/fail/cl-bug.rkt
+++ b/collects/tests/typed-racket/fail/cl-bug.rkt
--- a/collects/tests/typed-racket/fail/cnt-err1.rkt
+++ b/collects/tests/typed-racket/fail/cnt-err1.rkt
--- a/collects/tests/typed-racket/fail/cnt-struct-err.rkt
+++ b/collects/tests/typed-racket/fail/cnt-struct-err.rkt
--- a/collects/tests/typed-racket/fail/dead-substruct.rkt
+++ b/collects/tests/typed-racket/fail/dead-substruct.rkt
--- a/collects/tests/typed-racket/fail/dup-ann.rkt
+++ b/collects/tests/typed-racket/fail/dup-ann.rkt
--- a/collects/tests/typed-racket/fail/duplicate-ann.rkt
+++ b/collects/tests/typed-racket/fail/duplicate-ann.rkt
--- a/collects/tests/typed-racket/fail/formal-len-mismatches.rkt
+++ b/collects/tests/typed-racket/fail/formal-len-mismatches.rkt
--- a/collects/tests/typed-racket/fail/gadt.rkt
+++ b/collects/tests/typed-racket/fail/gadt.rkt
--- a/collects/tests/typed-racket/fail/ht-infer.rkt
+++ b/collects/tests/typed-racket/fail/ht-infer.rkt
--- a/collects/tests/typed-racket/fail/inexact-complex.rkt
+++ b/collects/tests/typed-racket/fail/inexact-complex.rkt
--- a/collects/tests/typed-racket/fail/infer-dots.rkt
+++ b/collects/tests/typed-racket/fail/infer-dots.rkt
@ -1,6 +1,6 @@
 #lang typed-scheme

-(require typed-scheme/base-env/extra-procs)
+(require typed-racket/base-env/extra-procs)

 (map + (list 1 2 3) (list 10 20 30) (list 'a 'b 'c))

--- a/collects/tests/typed-racket/fail/internal-ann.rkt
+++ b/collects/tests/typed-racket/fail/internal-ann.rkt
--- a/collects/tests/typed-racket/fail/log-not-complex.rkt
+++ b/collects/tests/typed-racket/fail/log-not-complex.rkt
--- a/collects/tests/typed-racket/fail/nested-tvars.rkt
+++ b/collects/tests/typed-racket/fail/nested-tvars.rkt
--- a/collects/tests/typed-racket/fail/nonnegative-float.rkt
+++ b/collects/tests/typed-racket/fail/nonnegative-float.rkt
--- a/collects/tests/typed-racket/fail/poly-expect-error.rkt
+++ b/collects/tests/typed-racket/fail/poly-expect-error.rkt
--- a/collects/tests/typed-racket/fail/port-to-list.rkt
+++ b/collects/tests/typed-racket/fail/port-to-list.rkt
--- a/collects/tests/typed-racket/fail/pr10350.rkt
+++ b/collects/tests/typed-racket/fail/pr10350.rkt
--- a/collects/tests/typed-racket/fail/pr10594.rkt
+++ b/collects/tests/typed-racket/fail/pr10594.rkt
--- a/collects/tests/typed-racket/fail/pr11560.rkt
+++ b/collects/tests/typed-racket/fail/pr11560.rkt
--- a/collects/tests/typed-racket/fail/pr11686.rkt
+++ b/collects/tests/typed-racket/fail/pr11686.rkt
--- a/collects/tests/typed-racket/fail/pr11772.rkt
+++ b/collects/tests/typed-racket/fail/pr11772.rkt
--- a/collects/tests/typed-racket/fail/pr11998.rkt
+++ b/collects/tests/typed-racket/fail/pr11998.rkt
--- a/collects/tests/typed-racket/fail/require-typed-missing.rkt
+++ b/collects/tests/typed-racket/fail/require-typed-missing.rkt
--- a/collects/tests/typed-racket/fail/require-typed-wrong.rkt
+++ b/collects/tests/typed-racket/fail/require-typed-wrong.rkt
--- a/collects/tests/typed-racket/fail/reverse-special.rkt
+++ b/collects/tests/typed-racket/fail/reverse-special.rkt
--- a/collects/tests/typed-racket/fail/rts-prov.rkt
+++ b/collects/tests/typed-racket/fail/rts-prov.rkt
--- a/collects/tests/typed-racket/fail/safe-letrec.rkt
+++ b/collects/tests/typed-racket/fail/safe-letrec.rkt
--- a/collects/tests/typed-racket/fail/set-struct.rkt
+++ b/collects/tests/typed-racket/fail/set-struct.rkt
--- a/collects/tests/typed-racket/fail/set-tests.rkt
+++ b/collects/tests/typed-racket/fail/set-tests.rkt
--- a/collects/tests/typed-racket/fail/sort.rkt
+++ b/collects/tests/typed-racket/fail/sort.rkt
--- a/collects/tests/typed-racket/fail/struct-provide.rkt
+++ b/collects/tests/typed-racket/fail/struct-provide.rkt
--- a/collects/tests/typed-racket/fail/subtype-int-err.rkt
+++ b/collects/tests/typed-racket/fail/subtype-int-err.rkt
--- a/collects/tests/typed-racket/fail/tc-error-format.rkt
+++ b/collects/tests/typed-racket/fail/tc-error-format.rkt
--- a/collects/tests/typed-racket/fail/too-many-errors.rkt
+++ b/collects/tests/typed-racket/fail/too-many-errors.rkt
--- a/collects/tests/typed-racket/fail/unbound-non-reg.rkt
+++ b/collects/tests/typed-racket/fail/unbound-non-reg.rkt
--- a/collects/tests/typed-racket/fail/unbound-type.rkt
+++ b/collects/tests/typed-racket/fail/unbound-type.rkt
--- a/collects/tests/typed-racket/fail/undefined.rkt
+++ b/collects/tests/typed-racket/fail/undefined.rkt
--- a/collects/tests/typed-racket/fail/unsafe-struct-parent.rkt
+++ b/collects/tests/typed-racket/fail/unsafe-struct-parent.rkt
--- a/collects/tests/typed-racket/fail/unsafe-struct.rkt
+++ b/collects/tests/typed-racket/fail/unsafe-struct.rkt
--- a/collects/tests/typed-racket/fail/untyped-srfi1.rkt
+++ b/collects/tests/typed-racket/fail/untyped-srfi1.rkt
--- a/collects/tests/typed-racket/fail/values-dots.rkt
+++ b/collects/tests/typed-racket/fail/values-dots.rkt
@ -2,7 +2,7 @@
 (exn-pred 10)
 #lang typed-scheme

-(require typed-scheme/base-env/extra-procs)
+(require typed-racket/base-env/extra-procs)

 (: map-with-funcs (All (b ...) ((b ... b -> b) ... b -> (b ... b -> (values b ... b)))))
 (define (map-with-funcs . fs)
--- a/collects/tests/typed-racket/fail/with-asserts.rkt
+++ b/collects/tests/typed-racket/fail/with-asserts.rkt
--- a/collects/tests/typed-racket/fail/with-asserts2.rkt
+++ b/collects/tests/typed-racket/fail/with-asserts2.rkt
--- a/collects/tests/typed-racket/fail/with-asserts3.rkt
+++ b/collects/tests/typed-racket/fail/with-asserts3.rkt
--- a/collects/tests/typed-racket/fail/with-type-bug.rkt
+++ b/collects/tests/typed-racket/fail/with-type-bug.rkt
--- a/collects/tests/typed-racket/fail/with-type1.rkt
+++ b/collects/tests/typed-racket/fail/with-type1.rkt
--- a/collects/tests/typed-racket/fail/with-type2.rkt
+++ b/collects/tests/typed-racket/fail/with-type2.rkt
--- a/collects/tests/typed-racket/fail/with-type3.rkt
+++ b/collects/tests/typed-racket/fail/with-type3.rkt
--- a/collects/tests/typed-racket/main.rkt
+++ b/collects/tests/typed-racket/main.rkt
--- a/collects/tests/typed-racket/nightly-run.rkt
+++ b/collects/tests/typed-racket/nightly-run.rkt
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/all-real.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/all-real.rkt
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/fixnum.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/fixnum.rkt
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file1.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file1.rkt
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/multiple-irritants.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/multiple-irritants.rkt
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/nested-same-kind.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/nested-same-kind.rkt
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/pair.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/pair.rkt
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/precision-loss.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/precision-loss.rkt
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/real-in-float-expr.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/real-in-float-expr.rkt
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/unary-float.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/unary-float.rkt
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/unexpected-complex.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/unexpected-complex.rkt
--- a/collects/tests/typed-racket/optimizer/run.rkt
+++ b/collects/tests/typed-racket/optimizer/run.rkt
@ -1,7 +1,7 @@
 #lang racket
 (require racket/runtime-path
         rackunit rackunit/text-ui
-         typed-scheme/optimizer/logging)
+         typed-racket/optimizer/logging)

 (provide optimization-tests missed-optimization-tests
         test-opt test-missed-optimization test-file?
--- a/collects/tests/typed-racket/optimizer/tests/add1.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/add1.rkt
--- a/collects/tests/typed-racket/optimizer/tests/apply-plus.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/apply-plus.rkt
--- a/collects/tests/typed-racket/optimizer/tests/begin-float.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/begin-float.rkt
--- a/collects/tests/typed-racket/optimizer/tests/binary-fixnum.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/binary-fixnum.rkt
--- a/collects/tests/typed-racket/optimizer/tests/binary-nonzero-fixnum.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/binary-nonzero-fixnum.rkt
--- a/collects/tests/typed-racket/optimizer/tests/bounds-check.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/bounds-check.rkt
--- a/collects/tests/typed-racket/optimizer/tests/box.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/box.rkt
--- a/collects/tests/typed-racket/optimizer/tests/cross-module-struct.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/cross-module-struct.rkt
--- a/collects/tests/typed-racket/optimizer/tests/cross-module-struct2.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/cross-module-struct2.rkt
--- a/collects/tests/typed-racket/optimizer/tests/dead-else.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/dead-else.rkt
--- a/collects/tests/typed-racket/optimizer/tests/dead-substructs.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/dead-substructs.rkt
--- a/collects/tests/typed-racket/optimizer/tests/dead-then.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/dead-then.rkt
--- a/collects/tests/typed-racket/optimizer/tests/define-begin-float.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/define-begin-float.rkt
--- a/collects/tests/typed-racket/optimizer/tests/define-call-float.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/define-call-float.rkt
--- a/collects/tests/typed-racket/optimizer/tests/define-float.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/define-float.rkt
--- a/collects/tests/typed-racket/optimizer/tests/define-pair.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/define-pair.rkt
--- a/collects/tests/typed-racket/optimizer/tests/derived-pair.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/derived-pair.rkt
--- a/collects/tests/typed-racket/optimizer/tests/derived-pair2.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/derived-pair2.rkt
--- a/collects/tests/typed-racket/optimizer/tests/derived-pair3.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/derived-pair3.rkt
--- a/collects/tests/typed-racket/optimizer/tests/different-langs.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/different-langs.rkt
--- a/collects/tests/typed-racket/optimizer/tests/double-float.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/double-float.rkt
--- a/collects/tests/typed-racket/optimizer/tests/exact-inexact.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/exact-inexact.rkt
--- a/collects/tests/typed-racket/optimizer/tests/false-huh-dead-code.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/false-huh-dead-code.rkt
--- a/collects/tests/typed-racket/optimizer/tests/fixnum-bounded-expr.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/fixnum-bounded-expr.rkt
--- a/collects/tests/typed-racket/optimizer/tests/fixnum-comparison.rkt
+++ b/collects/tests/typed-racket/optimizer/tests/fixnum-comparison.rkt
--- a/Show More
+++ b/Show More