diff --git a/collects/tests/typed-scheme/fail/all-bad-syntax.ss b/collects/tests/typed-scheme/fail/all-bad-syntax.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/all-bad-syntax.ss rename to collects/tests/typed-scheme/fail/all-bad-syntax.rkt diff --git a/collects/tests/typed-scheme/fail/ann-map-funcs.ss b/collects/tests/typed-scheme/fail/ann-map-funcs.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/ann-map-funcs.ss rename to collects/tests/typed-scheme/fail/ann-map-funcs.rkt diff --git a/collects/tests/typed-scheme/fail/apply-dots.ss b/collects/tests/typed-scheme/fail/apply-dots.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/apply-dots.ss rename to collects/tests/typed-scheme/fail/apply-dots.rkt diff --git a/collects/tests/typed-scheme/fail/back-and-forth.ss b/collects/tests/typed-scheme/fail/back-and-forth.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/back-and-forth.ss rename to collects/tests/typed-scheme/fail/back-and-forth.rkt diff --git a/collects/tests/typed-scheme/fail/bad-ann.ss b/collects/tests/typed-scheme/fail/bad-ann.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/bad-ann.ss rename to collects/tests/typed-scheme/fail/bad-ann.rkt diff --git a/collects/tests/typed-scheme/fail/bad-any.ss b/collects/tests/typed-scheme/fail/bad-any.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/bad-any.ss rename to collects/tests/typed-scheme/fail/bad-any.rkt diff --git a/collects/tests/typed-scheme/fail/bad-first.ss b/collects/tests/typed-scheme/fail/bad-first.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/bad-first.ss rename to collects/tests/typed-scheme/fail/bad-first.rkt diff --git a/collects/tests/typed-scheme/fail/bad-hash-ref.ss b/collects/tests/typed-scheme/fail/bad-hash-ref.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/bad-hash-ref.ss rename to collects/tests/typed-scheme/fail/bad-hash-ref.rkt diff --git a/collects/tests/typed-scheme/fail/bad-map-poly.ss b/collects/tests/typed-scheme/fail/bad-map-poly.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/bad-map-poly.ss rename to collects/tests/typed-scheme/fail/bad-map-poly.rkt diff --git a/collects/tests/typed-scheme/fail/bad-type-app.ss b/collects/tests/typed-scheme/fail/bad-type-app.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/bad-type-app.ss rename to collects/tests/typed-scheme/fail/bad-type-app.rkt diff --git a/collects/tests/typed-scheme/fail/box-fail.ss b/collects/tests/typed-scheme/fail/box-fail.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/box-fail.ss rename to collects/tests/typed-scheme/fail/box-fail.rkt diff --git a/collects/tests/typed-scheme/fail/check-expect-fail.ss b/collects/tests/typed-scheme/fail/check-expect-fail.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/check-expect-fail.ss rename to collects/tests/typed-scheme/fail/check-expect-fail.rkt diff --git a/collects/tests/typed-scheme/fail/cl-bug.ss b/collects/tests/typed-scheme/fail/cl-bug.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/cl-bug.ss rename to collects/tests/typed-scheme/fail/cl-bug.rkt diff --git a/collects/tests/typed-scheme/fail/cnt-err1.ss b/collects/tests/typed-scheme/fail/cnt-err1.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/cnt-err1.ss rename to collects/tests/typed-scheme/fail/cnt-err1.rkt diff --git a/collects/tests/typed-scheme/fail/cnt-struct-err.ss b/collects/tests/typed-scheme/fail/cnt-struct-err.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/cnt-struct-err.ss rename to collects/tests/typed-scheme/fail/cnt-struct-err.rkt diff --git a/collects/tests/typed-scheme/fail/dotted-identity.ss b/collects/tests/typed-scheme/fail/dotted-identity.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/dotted-identity.ss rename to collects/tests/typed-scheme/fail/dotted-identity.rkt diff --git a/collects/tests/typed-scheme/fail/duplicate-ann.ss b/collects/tests/typed-scheme/fail/duplicate-ann.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/duplicate-ann.ss rename to collects/tests/typed-scheme/fail/duplicate-ann.rkt diff --git a/collects/tests/typed-scheme/fail/formal-len-mismatches.ss b/collects/tests/typed-scheme/fail/formal-len-mismatches.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/formal-len-mismatches.ss rename to collects/tests/typed-scheme/fail/formal-len-mismatches.rkt diff --git a/collects/tests/typed-scheme/fail/gadt.ss b/collects/tests/typed-scheme/fail/gadt.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/gadt.ss rename to collects/tests/typed-scheme/fail/gadt.rkt diff --git a/collects/tests/typed-scheme/fail/ht-infer.ss b/collects/tests/typed-scheme/fail/ht-infer.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/ht-infer.ss rename to collects/tests/typed-scheme/fail/ht-infer.rkt diff --git a/collects/tests/typed-scheme/fail/infer-dots.ss b/collects/tests/typed-scheme/fail/infer-dots.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/infer-dots.ss rename to collects/tests/typed-scheme/fail/infer-dots.rkt diff --git a/collects/tests/typed-scheme/fail/nested-tvars.ss b/collects/tests/typed-scheme/fail/nested-tvars.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/nested-tvars.ss rename to collects/tests/typed-scheme/fail/nested-tvars.rkt diff --git a/collects/tests/typed-scheme/fail/poly-expect-error.ss b/collects/tests/typed-scheme/fail/poly-expect-error.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/poly-expect-error.ss rename to collects/tests/typed-scheme/fail/poly-expect-error.rkt diff --git a/collects/tests/typed-scheme/fail/require-typed-wrong.ss b/collects/tests/typed-scheme/fail/require-typed-wrong.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/require-typed-wrong.ss rename to collects/tests/typed-scheme/fail/require-typed-wrong.rkt diff --git a/collects/tests/typed-scheme/fail/reverse-special.ss b/collects/tests/typed-scheme/fail/reverse-special.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/reverse-special.ss rename to collects/tests/typed-scheme/fail/reverse-special.rkt diff --git a/collects/tests/typed-scheme/fail/set-struct.ss b/collects/tests/typed-scheme/fail/set-struct.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/set-struct.ss rename to collects/tests/typed-scheme/fail/set-struct.rkt diff --git a/collects/tests/typed-scheme/fail/set-tests.ss b/collects/tests/typed-scheme/fail/set-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/set-tests.ss rename to collects/tests/typed-scheme/fail/set-tests.rkt diff --git a/collects/tests/typed-scheme/fail/struct-provide.ss b/collects/tests/typed-scheme/fail/struct-provide.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/struct-provide.ss rename to collects/tests/typed-scheme/fail/struct-provide.rkt diff --git a/collects/tests/typed-scheme/fail/too-many-errors.ss b/collects/tests/typed-scheme/fail/too-many-errors.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/too-many-errors.ss rename to collects/tests/typed-scheme/fail/too-many-errors.rkt diff --git a/collects/tests/typed-scheme/fail/unbound-type.ss b/collects/tests/typed-scheme/fail/unbound-type.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/unbound-type.ss rename to collects/tests/typed-scheme/fail/unbound-type.rkt diff --git a/collects/tests/typed-scheme/fail/untyped-srfi1.ss b/collects/tests/typed-scheme/fail/untyped-srfi1.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/untyped-srfi1.ss rename to collects/tests/typed-scheme/fail/untyped-srfi1.rkt diff --git a/collects/tests/typed-scheme/fail/values-dots.ss b/collects/tests/typed-scheme/fail/values-dots.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/values-dots.ss rename to collects/tests/typed-scheme/fail/values-dots.rkt diff --git a/collects/tests/typed-scheme/fail/with-type-bug.ss b/collects/tests/typed-scheme/fail/with-type-bug.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/with-type-bug.ss rename to collects/tests/typed-scheme/fail/with-type-bug.rkt diff --git a/collects/tests/typed-scheme/fail/with-type1.ss b/collects/tests/typed-scheme/fail/with-type1.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/with-type1.ss rename to collects/tests/typed-scheme/fail/with-type1.rkt diff --git a/collects/tests/typed-scheme/fail/with-type2.ss b/collects/tests/typed-scheme/fail/with-type2.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/with-type2.ss rename to collects/tests/typed-scheme/fail/with-type2.rkt diff --git a/collects/tests/typed-scheme/fail/with-type3.ss b/collects/tests/typed-scheme/fail/with-type3.rkt similarity index 100% rename from collects/tests/typed-scheme/fail/with-type3.ss rename to collects/tests/typed-scheme/fail/with-type3.rkt diff --git a/collects/tests/typed-scheme/main.ss b/collects/tests/typed-scheme/main.rkt similarity index 100% rename from collects/tests/typed-scheme/main.ss rename to collects/tests/typed-scheme/main.rkt diff --git a/collects/tests/typed-scheme/nightly-run.ss b/collects/tests/typed-scheme/nightly-run.rkt similarity index 100% rename from collects/tests/typed-scheme/nightly-run.ss rename to collects/tests/typed-scheme/nightly-run.rkt diff --git a/collects/tests/typed-scheme/run.ss b/collects/tests/typed-scheme/run.rkt similarity index 100% rename from collects/tests/typed-scheme/run.ss rename to collects/tests/typed-scheme/run.rkt diff --git a/collects/tests/typed-scheme/succeed/andmap.ss b/collects/tests/typed-scheme/succeed/andmap.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/andmap.ss rename to collects/tests/typed-scheme/succeed/andmap.rkt diff --git a/collects/tests/typed-scheme/succeed/ann-map-funcs.ss b/collects/tests/typed-scheme/succeed/ann-map-funcs.ss deleted file mode 100644 index a7835a36..00000000 --- a/collects/tests/typed-scheme/succeed/ann-map-funcs.ss +++ /dev/null @@ -1,11 +0,0 @@ -#lang typed-scheme - -(: map-with-funcs (All (b a ...) ((a ... a -> b) * -> (a ... a -> (Listof b))))) - -(define (map-with-funcs . fs) - (lambda as - (map (lambda: ([f : (a ... a -> b)]) - (apply f as)) - fs))) - -(ann (map-with-funcs + - * /) (Number Number * -> (Listof Number))) diff --git a/collects/tests/typed-scheme/succeed/annotation-test.ss b/collects/tests/typed-scheme/succeed/annotation-test.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/annotation-test.ss rename to collects/tests/typed-scheme/succeed/annotation-test.rkt diff --git a/collects/tests/typed-scheme/succeed/apply-append.ss b/collects/tests/typed-scheme/succeed/apply-append.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/apply-append.ss rename to collects/tests/typed-scheme/succeed/apply-append.rkt diff --git a/collects/tests/typed-scheme/succeed/apply-dots-list.ss b/collects/tests/typed-scheme/succeed/apply-dots-list.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/apply-dots-list.ss rename to collects/tests/typed-scheme/succeed/apply-dots-list.rkt diff --git a/collects/tests/typed-scheme/succeed/apply-dots.ss b/collects/tests/typed-scheme/succeed/apply-dots.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/apply-dots.ss rename to collects/tests/typed-scheme/succeed/apply-dots.rkt diff --git a/collects/tests/typed-scheme/succeed/area.ss b/collects/tests/typed-scheme/succeed/area.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/area.ss rename to collects/tests/typed-scheme/succeed/area.rkt diff --git a/collects/tests/typed-scheme/succeed/bad-map-infer.ss b/collects/tests/typed-scheme/succeed/bad-map-infer.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/bad-map-infer.ss rename to collects/tests/typed-scheme/succeed/bad-map-infer.rkt diff --git a/collects/tests/typed-scheme/succeed/barland.ss b/collects/tests/typed-scheme/succeed/barland.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/barland.ss rename to collects/tests/typed-scheme/succeed/barland.rkt diff --git a/collects/tests/typed-scheme/succeed/basic-tests.ss b/collects/tests/typed-scheme/succeed/basic-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/basic-tests.ss rename to collects/tests/typed-scheme/succeed/basic-tests.rkt diff --git a/collects/tests/typed-scheme/succeed/box-num.ss b/collects/tests/typed-scheme/succeed/box-num.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/box-num.ss rename to collects/tests/typed-scheme/succeed/box-num.rkt diff --git a/collects/tests/typed-scheme/succeed/broken-let-syntax.ss b/collects/tests/typed-scheme/succeed/broken-let-syntax.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/broken-let-syntax.ss rename to collects/tests/typed-scheme/succeed/broken-let-syntax.rkt diff --git a/collects/tests/typed-scheme/succeed/check-expect.ss b/collects/tests/typed-scheme/succeed/check-expect.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/check-expect.ss rename to collects/tests/typed-scheme/succeed/check-expect.rkt diff --git a/collects/tests/typed-scheme/succeed/check-within.ss b/collects/tests/typed-scheme/succeed/check-within.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/check-within.ss rename to collects/tests/typed-scheme/succeed/check-within.rkt diff --git a/collects/tests/typed-scheme/succeed/cl-bug.ss b/collects/tests/typed-scheme/succeed/cl-bug.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/cl-bug.ss rename to collects/tests/typed-scheme/succeed/cl-bug.rkt diff --git a/collects/tests/typed-scheme/succeed/cl-tests.ss b/collects/tests/typed-scheme/succeed/cl-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/cl-tests.ss rename to collects/tests/typed-scheme/succeed/cl-tests.rkt diff --git a/collects/tests/typed-scheme/succeed/cl.ss b/collects/tests/typed-scheme/succeed/cl.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/cl.ss rename to collects/tests/typed-scheme/succeed/cl.rkt diff --git a/collects/tests/typed-scheme/succeed/cmdline.ss b/collects/tests/typed-scheme/succeed/cmdline.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/cmdline.ss rename to collects/tests/typed-scheme/succeed/cmdline.rkt diff --git a/collects/tests/typed-scheme/succeed/cps.ss b/collects/tests/typed-scheme/succeed/cps.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/cps.ss rename to collects/tests/typed-scheme/succeed/cps.rkt diff --git a/collects/tests/typed-scheme/succeed/datum-to-syntax.ss b/collects/tests/typed-scheme/succeed/datum-to-syntax.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/datum-to-syntax.ss rename to collects/tests/typed-scheme/succeed/datum-to-syntax.rkt diff --git a/collects/tests/typed-scheme/succeed/def-pred.ss b/collects/tests/typed-scheme/succeed/def-pred.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/def-pred.ss rename to collects/tests/typed-scheme/succeed/def-pred.rkt diff --git a/collects/tests/typed-scheme/succeed/do.ss b/collects/tests/typed-scheme/succeed/do.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/do.ss rename to collects/tests/typed-scheme/succeed/do.rkt diff --git a/collects/tests/typed-scheme/succeed/dot-intro.ss b/collects/tests/typed-scheme/succeed/dot-intro.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/dot-intro.ss rename to collects/tests/typed-scheme/succeed/dot-intro.rkt diff --git a/collects/tests/typed-scheme/succeed/dotted-identity.ss b/collects/tests/typed-scheme/succeed/dotted-identity.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/dotted-identity.ss rename to collects/tests/typed-scheme/succeed/dotted-identity.rkt diff --git a/collects/tests/typed-scheme/succeed/empty-or.ss b/collects/tests/typed-scheme/succeed/empty-or.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/empty-or.ss rename to collects/tests/typed-scheme/succeed/empty-or.rkt diff --git a/collects/tests/typed-scheme/succeed/even-odd.ss b/collects/tests/typed-scheme/succeed/even-odd.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/even-odd.ss rename to collects/tests/typed-scheme/succeed/even-odd.rkt diff --git a/collects/tests/typed-scheme/succeed/fix.ss b/collects/tests/typed-scheme/succeed/fix.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/fix.ss rename to collects/tests/typed-scheme/succeed/fix.rkt diff --git a/collects/tests/typed-scheme/succeed/fixnum.ss b/collects/tests/typed-scheme/succeed/fixnum.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/fixnum.ss rename to collects/tests/typed-scheme/succeed/fixnum.rkt diff --git a/collects/tests/typed-scheme/succeed/flonum.ss b/collects/tests/typed-scheme/succeed/flonum.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/flonum.ss rename to collects/tests/typed-scheme/succeed/flonum.rkt diff --git a/collects/tests/typed-scheme/succeed/flvector.ss b/collects/tests/typed-scheme/succeed/flvector.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/flvector.ss rename to collects/tests/typed-scheme/succeed/flvector.rkt diff --git a/collects/tests/typed-scheme/succeed/fold-left-inst.ss b/collects/tests/typed-scheme/succeed/fold-left-inst.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/fold-left-inst.ss rename to collects/tests/typed-scheme/succeed/fold-left-inst.rkt diff --git a/collects/tests/typed-scheme/succeed/fold-left.ss b/collects/tests/typed-scheme/succeed/fold-left.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/fold-left.ss rename to collects/tests/typed-scheme/succeed/fold-left.rkt diff --git a/collects/tests/typed-scheme/succeed/for-list.ss b/collects/tests/typed-scheme/succeed/for-list.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/for-list.ss rename to collects/tests/typed-scheme/succeed/for-list.rkt diff --git a/collects/tests/typed-scheme/succeed/for-lists.ss b/collects/tests/typed-scheme/succeed/for-lists.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/for-lists.ss rename to collects/tests/typed-scheme/succeed/for-lists.rkt diff --git a/collects/tests/typed-scheme/succeed/force-delay.ss b/collects/tests/typed-scheme/succeed/force-delay.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/force-delay.ss rename to collects/tests/typed-scheme/succeed/force-delay.rkt diff --git a/collects/tests/typed-scheme/succeed/hash-ref.ss b/collects/tests/typed-scheme/succeed/hash-ref.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/hash-ref.ss rename to collects/tests/typed-scheme/succeed/hash-ref.rkt diff --git a/collects/tests/typed-scheme/succeed/if-splitting-test.ss b/collects/tests/typed-scheme/succeed/if-splitting-test.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/if-splitting-test.ss rename to collects/tests/typed-scheme/succeed/if-splitting-test.rkt diff --git a/collects/tests/typed-scheme/succeed/infer-dots.ss b/collects/tests/typed-scheme/succeed/infer-dots.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/infer-dots.ss rename to collects/tests/typed-scheme/succeed/infer-dots.rkt diff --git a/collects/tests/typed-scheme/succeed/infer-funargs.ss b/collects/tests/typed-scheme/succeed/infer-funargs.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/infer-funargs.ss rename to collects/tests/typed-scheme/succeed/infer-funargs.rkt diff --git a/collects/tests/typed-scheme/succeed/inst-dots.ss b/collects/tests/typed-scheme/succeed/inst-dots.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/inst-dots.ss rename to collects/tests/typed-scheme/succeed/inst-dots.rkt diff --git a/collects/tests/typed-scheme/succeed/inst-expected.ss b/collects/tests/typed-scheme/succeed/inst-expected.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/inst-expected.ss rename to collects/tests/typed-scheme/succeed/inst-expected.rkt diff --git a/collects/tests/typed-scheme/succeed/int-def-colon.ss b/collects/tests/typed-scheme/succeed/int-def-colon.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/int-def-colon.ss rename to collects/tests/typed-scheme/succeed/int-def-colon.rkt diff --git a/collects/tests/typed-scheme/succeed/kw.ss b/collects/tests/typed-scheme/succeed/kw.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/kw.ss rename to collects/tests/typed-scheme/succeed/kw.rkt diff --git a/collects/tests/typed-scheme/succeed/leftist-heap.ss b/collects/tests/typed-scheme/succeed/leftist-heap.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/leftist-heap.ss rename to collects/tests/typed-scheme/succeed/leftist-heap.rkt diff --git a/collects/tests/typed-scheme/succeed/let-values-tests.ss b/collects/tests/typed-scheme/succeed/let-values-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/let-values-tests.ss rename to collects/tests/typed-scheme/succeed/let-values-tests.rkt diff --git a/collects/tests/typed-scheme/succeed/list-ref-vec.ss b/collects/tests/typed-scheme/succeed/list-ref-vec.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/list-ref-vec.ss rename to collects/tests/typed-scheme/succeed/list-ref-vec.rkt diff --git a/collects/tests/typed-scheme/succeed/list-struct-sum.ss b/collects/tests/typed-scheme/succeed/list-struct-sum.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/list-struct-sum.ss rename to collects/tests/typed-scheme/succeed/list-struct-sum.rkt diff --git a/collects/tests/typed-scheme/succeed/little-schemer.ss b/collects/tests/typed-scheme/succeed/little-schemer.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/little-schemer.ss rename to collects/tests/typed-scheme/succeed/little-schemer.rkt diff --git a/collects/tests/typed-scheme/succeed/logic.ss b/collects/tests/typed-scheme/succeed/logic.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/logic.ss rename to collects/tests/typed-scheme/succeed/logic.rkt diff --git a/collects/tests/typed-scheme/succeed/lots-o-bugs.ss b/collects/tests/typed-scheme/succeed/lots-o-bugs.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/lots-o-bugs.ss rename to collects/tests/typed-scheme/succeed/lots-o-bugs.rkt diff --git a/collects/tests/typed-scheme/succeed/manual-examples.ss b/collects/tests/typed-scheme/succeed/manual-examples.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/manual-examples.ss rename to collects/tests/typed-scheme/succeed/manual-examples.rkt diff --git a/collects/tests/typed-scheme/succeed/map-nonempty.ss b/collects/tests/typed-scheme/succeed/map-nonempty.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/map-nonempty.ss rename to collects/tests/typed-scheme/succeed/map-nonempty.rkt diff --git a/collects/tests/typed-scheme/succeed/map1.ss b/collects/tests/typed-scheme/succeed/map1.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/map1.ss rename to collects/tests/typed-scheme/succeed/map1.rkt diff --git a/collects/tests/typed-scheme/succeed/map2.ss b/collects/tests/typed-scheme/succeed/map2.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/map2.ss rename to collects/tests/typed-scheme/succeed/map2.rkt diff --git a/collects/tests/typed-scheme/succeed/match-dots.ss b/collects/tests/typed-scheme/succeed/match-dots.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/match-dots.ss rename to collects/tests/typed-scheme/succeed/match-dots.rkt diff --git a/collects/tests/typed-scheme/succeed/match-dots2.ss b/collects/tests/typed-scheme/succeed/match-dots2.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/match-dots2.ss rename to collects/tests/typed-scheme/succeed/match-dots2.rkt diff --git a/collects/tests/typed-scheme/succeed/match-expander-problem.ss b/collects/tests/typed-scheme/succeed/match-expander-problem.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/match-expander-problem.ss rename to collects/tests/typed-scheme/succeed/match-expander-problem.rkt diff --git a/collects/tests/typed-scheme/succeed/match-tests.ss b/collects/tests/typed-scheme/succeed/match-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/match-tests.ss rename to collects/tests/typed-scheme/succeed/match-tests.rkt diff --git a/collects/tests/typed-scheme/succeed/match.ss b/collects/tests/typed-scheme/succeed/match.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/match.ss rename to collects/tests/typed-scheme/succeed/match.rkt diff --git a/collects/tests/typed-scheme/succeed/member-pred.ss b/collects/tests/typed-scheme/succeed/member-pred.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/member-pred.ss rename to collects/tests/typed-scheme/succeed/member-pred.rkt diff --git a/collects/tests/typed-scheme/succeed/metrics.ss b/collects/tests/typed-scheme/succeed/metrics.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/metrics.ss rename to collects/tests/typed-scheme/succeed/metrics.rkt diff --git a/collects/tests/typed-scheme/succeed/module-lang.ss b/collects/tests/typed-scheme/succeed/module-lang.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/module-lang.ss rename to collects/tests/typed-scheme/succeed/module-lang.rkt diff --git a/collects/tests/typed-scheme/succeed/mu-rec.ss b/collects/tests/typed-scheme/succeed/mu-rec.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/mu-rec.ss rename to collects/tests/typed-scheme/succeed/mu-rec.rkt diff --git a/collects/tests/typed-scheme/succeed/nested-poly.ss b/collects/tests/typed-scheme/succeed/nested-poly.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/nested-poly.ss rename to collects/tests/typed-scheme/succeed/nested-poly.rkt diff --git a/collects/tests/typed-scheme/succeed/new-metrics.ss b/collects/tests/typed-scheme/succeed/new-metrics.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/new-metrics.ss rename to collects/tests/typed-scheme/succeed/new-metrics.rkt diff --git a/collects/tests/typed-scheme/succeed/no-bound-fl.ss b/collects/tests/typed-scheme/succeed/no-bound-fl.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/no-bound-fl.ss rename to collects/tests/typed-scheme/succeed/no-bound-fl.rkt diff --git a/collects/tests/typed-scheme/succeed/null-program.ss b/collects/tests/typed-scheme/succeed/null-program.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/null-program.ss rename to collects/tests/typed-scheme/succeed/null-program.rkt diff --git a/collects/tests/typed-scheme/succeed/overloading.ss b/collects/tests/typed-scheme/succeed/overloading.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/overloading.ss rename to collects/tests/typed-scheme/succeed/overloading.rkt diff --git a/collects/tests/typed-scheme/succeed/pair-test.ss b/collects/tests/typed-scheme/succeed/pair-test.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/pair-test.ss rename to collects/tests/typed-scheme/succeed/pair-test.rkt diff --git a/collects/tests/typed-scheme/succeed/param.ss b/collects/tests/typed-scheme/succeed/param.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/param.ss rename to collects/tests/typed-scheme/succeed/param.rkt diff --git a/collects/tests/typed-scheme/succeed/parse-path.ss b/collects/tests/typed-scheme/succeed/parse-path.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/parse-path.ss rename to collects/tests/typed-scheme/succeed/parse-path.rkt diff --git a/collects/tests/typed-scheme/succeed/patch.ss b/collects/tests/typed-scheme/succeed/patch.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/patch.ss rename to collects/tests/typed-scheme/succeed/patch.rkt diff --git a/collects/tests/typed-scheme/succeed/poly-struct.ss b/collects/tests/typed-scheme/succeed/poly-struct.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/poly-struct.ss rename to collects/tests/typed-scheme/succeed/poly-struct.rkt diff --git a/collects/tests/typed-scheme/succeed/poly-subtype.ss b/collects/tests/typed-scheme/succeed/poly-subtype.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/poly-subtype.ss rename to collects/tests/typed-scheme/succeed/poly-subtype.rkt diff --git a/collects/tests/typed-scheme/succeed/poly-tests.ss b/collects/tests/typed-scheme/succeed/poly-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/poly-tests.ss rename to collects/tests/typed-scheme/succeed/poly-tests.rkt diff --git a/collects/tests/typed-scheme/succeed/pr9043.ss b/collects/tests/typed-scheme/succeed/pr9043.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/pr9043.ss rename to collects/tests/typed-scheme/succeed/pr9043.rkt diff --git a/collects/tests/typed-scheme/succeed/pr9046.ss b/collects/tests/typed-scheme/succeed/pr9046.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/pr9046.ss rename to collects/tests/typed-scheme/succeed/pr9046.rkt diff --git a/collects/tests/typed-scheme/succeed/pr9048.ss b/collects/tests/typed-scheme/succeed/pr9048.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/pr9048.ss rename to collects/tests/typed-scheme/succeed/pr9048.rkt diff --git a/collects/tests/typed-scheme/succeed/pr9053-2.ss b/collects/tests/typed-scheme/succeed/pr9053-2.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/pr9053-2.ss rename to collects/tests/typed-scheme/succeed/pr9053-2.rkt diff --git a/collects/tests/typed-scheme/succeed/pr9053.ss b/collects/tests/typed-scheme/succeed/pr9053.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/pr9053.ss rename to collects/tests/typed-scheme/succeed/pr9053.rkt diff --git a/collects/tests/typed-scheme/succeed/pr9054.ss b/collects/tests/typed-scheme/succeed/pr9054.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/pr9054.ss rename to collects/tests/typed-scheme/succeed/pr9054.rkt diff --git a/collects/tests/typed-scheme/succeed/provide-poly-struct.ss b/collects/tests/typed-scheme/succeed/provide-poly-struct.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/provide-poly-struct.ss rename to collects/tests/typed-scheme/succeed/provide-poly-struct.rkt diff --git a/collects/tests/typed-scheme/succeed/provide-sexp.ss b/collects/tests/typed-scheme/succeed/provide-sexp.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/provide-sexp.ss rename to collects/tests/typed-scheme/succeed/provide-sexp.rkt diff --git a/collects/tests/typed-scheme/succeed/provide-struct-untyped.ss b/collects/tests/typed-scheme/succeed/provide-struct-untyped.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/provide-struct-untyped.ss rename to collects/tests/typed-scheme/succeed/provide-struct-untyped.rkt diff --git a/collects/tests/typed-scheme/succeed/provide-struct.ss b/collects/tests/typed-scheme/succeed/provide-struct.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/provide-struct.ss rename to collects/tests/typed-scheme/succeed/provide-struct.rkt diff --git a/collects/tests/typed-scheme/succeed/provide-syntax.ss b/collects/tests/typed-scheme/succeed/provide-syntax.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/provide-syntax.ss rename to collects/tests/typed-scheme/succeed/provide-syntax.rkt diff --git a/collects/tests/typed-scheme/succeed/random-bits.ss b/collects/tests/typed-scheme/succeed/random-bits.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/random-bits.ss rename to collects/tests/typed-scheme/succeed/random-bits.rkt diff --git a/collects/tests/typed-scheme/succeed/rec-types.ss b/collects/tests/typed-scheme/succeed/rec-types.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/rec-types.ss rename to collects/tests/typed-scheme/succeed/rec-types.rkt diff --git a/collects/tests/typed-scheme/succeed/refinement-even.ss b/collects/tests/typed-scheme/succeed/refinement-even.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/refinement-even.ss rename to collects/tests/typed-scheme/succeed/refinement-even.rkt diff --git a/collects/tests/typed-scheme/succeed/require-poly.ss b/collects/tests/typed-scheme/succeed/require-poly.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/require-poly.ss rename to collects/tests/typed-scheme/succeed/require-poly.rkt diff --git a/collects/tests/typed-scheme/succeed/require-procedure.ss b/collects/tests/typed-scheme/succeed/require-procedure.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/require-procedure.ss rename to collects/tests/typed-scheme/succeed/require-procedure.rkt diff --git a/collects/tests/typed-scheme/succeed/require-substruct.ss b/collects/tests/typed-scheme/succeed/require-substruct.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/require-substruct.ss rename to collects/tests/typed-scheme/succeed/require-substruct.rkt diff --git a/collects/tests/typed-scheme/succeed/require-tests.ss b/collects/tests/typed-scheme/succeed/require-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/require-tests.ss rename to collects/tests/typed-scheme/succeed/require-tests.rkt diff --git a/collects/tests/typed-scheme/succeed/require-typed-rename.ss b/collects/tests/typed-scheme/succeed/require-typed-rename.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/require-typed-rename.ss rename to collects/tests/typed-scheme/succeed/require-typed-rename.rkt diff --git a/collects/tests/typed-scheme/succeed/richard-bugs.ss b/collects/tests/typed-scheme/succeed/richard-bugs.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/richard-bugs.ss rename to collects/tests/typed-scheme/succeed/richard-bugs.rkt diff --git a/collects/tests/typed-scheme/succeed/rts-prov.ss b/collects/tests/typed-scheme/succeed/rts-prov.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/rts-prov.ss rename to collects/tests/typed-scheme/succeed/rts-prov.rkt diff --git a/collects/tests/typed-scheme/succeed/scratch.ss b/collects/tests/typed-scheme/succeed/scratch.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/scratch.ss rename to collects/tests/typed-scheme/succeed/scratch.rkt diff --git a/collects/tests/typed-scheme/succeed/seasoned-schemer.ss b/collects/tests/typed-scheme/succeed/seasoned-schemer.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/seasoned-schemer.ss rename to collects/tests/typed-scheme/succeed/seasoned-schemer.rkt diff --git a/collects/tests/typed-scheme/succeed/sequences.ss b/collects/tests/typed-scheme/succeed/sequences.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/sequences.ss rename to collects/tests/typed-scheme/succeed/sequences.rkt diff --git a/collects/tests/typed-scheme/succeed/simple-occurr.ss b/collects/tests/typed-scheme/succeed/simple-occurr.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/simple-occurr.ss rename to collects/tests/typed-scheme/succeed/simple-occurr.rkt diff --git a/collects/tests/typed-scheme/succeed/simple-poly.ss b/collects/tests/typed-scheme/succeed/simple-poly.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/simple-poly.ss rename to collects/tests/typed-scheme/succeed/simple-poly.rkt diff --git a/collects/tests/typed-scheme/succeed/star-sizes.ss b/collects/tests/typed-scheme/succeed/star-sizes.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/star-sizes.ss rename to collects/tests/typed-scheme/succeed/star-sizes.rkt diff --git a/collects/tests/typed-scheme/succeed/string-const.ss b/collects/tests/typed-scheme/succeed/string-const.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/string-const.ss rename to collects/tests/typed-scheme/succeed/string-const.rkt diff --git a/collects/tests/typed-scheme/succeed/struct-cert.ss b/collects/tests/typed-scheme/succeed/struct-cert.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/struct-cert.ss rename to collects/tests/typed-scheme/succeed/struct-cert.rkt diff --git a/collects/tests/typed-scheme/succeed/struct-exec.ss b/collects/tests/typed-scheme/succeed/struct-exec.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/struct-exec.ss rename to collects/tests/typed-scheme/succeed/struct-exec.rkt diff --git a/collects/tests/typed-scheme/succeed/struct-out.ss b/collects/tests/typed-scheme/succeed/struct-out.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/struct-out.ss rename to collects/tests/typed-scheme/succeed/struct-out.rkt diff --git a/collects/tests/typed-scheme/succeed/struct-path-update.ss b/collects/tests/typed-scheme/succeed/struct-path-update.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/struct-path-update.ss rename to collects/tests/typed-scheme/succeed/struct-path-update.rkt diff --git a/collects/tests/typed-scheme/succeed/test.ss b/collects/tests/typed-scheme/succeed/test.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/test.ss rename to collects/tests/typed-scheme/succeed/test.rkt diff --git a/collects/tests/typed-scheme/succeed/test2.ss b/collects/tests/typed-scheme/succeed/test2.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/test2.ss rename to collects/tests/typed-scheme/succeed/test2.rkt diff --git a/collects/tests/typed-scheme/succeed/time.ss b/collects/tests/typed-scheme/succeed/time.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/time.ss rename to collects/tests/typed-scheme/succeed/time.rkt diff --git a/collects/tests/typed-scheme/succeed/typeann-letrec.ss b/collects/tests/typed-scheme/succeed/typeann-letrec.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/typeann-letrec.ss rename to collects/tests/typed-scheme/succeed/typeann-letrec.rkt diff --git a/collects/tests/typed-scheme/succeed/typed-list.ss b/collects/tests/typed-scheme/succeed/typed-list.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/typed-list.ss rename to collects/tests/typed-scheme/succeed/typed-list.rkt diff --git a/collects/tests/typed-scheme/succeed/unholy-terror.ss b/collects/tests/typed-scheme/succeed/unholy-terror.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/unholy-terror.ss rename to collects/tests/typed-scheme/succeed/unholy-terror.rkt diff --git a/collects/tests/typed-scheme/succeed/values-dots.ss b/collects/tests/typed-scheme/succeed/values-dots.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/values-dots.ss rename to collects/tests/typed-scheme/succeed/values-dots.rkt diff --git a/collects/tests/typed-scheme/succeed/varargs-tests.ss b/collects/tests/typed-scheme/succeed/varargs-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/varargs-tests.ss rename to collects/tests/typed-scheme/succeed/varargs-tests.rkt diff --git a/collects/tests/typed-scheme/succeed/vec-tests.ss b/collects/tests/typed-scheme/succeed/vec-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/vec-tests.ss rename to collects/tests/typed-scheme/succeed/vec-tests.rkt diff --git a/collects/tests/typed-scheme/succeed/with-handlers.ss b/collects/tests/typed-scheme/succeed/with-handlers.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/with-handlers.ss rename to collects/tests/typed-scheme/succeed/with-handlers.rkt diff --git a/collects/tests/typed-scheme/succeed/with-type.ss b/collects/tests/typed-scheme/succeed/with-type.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/with-type.ss rename to collects/tests/typed-scheme/succeed/with-type.rkt diff --git a/collects/tests/typed-scheme/unit-tests/all-tests.ss b/collects/tests/typed-scheme/unit-tests/all-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/unit-tests/all-tests.ss rename to collects/tests/typed-scheme/unit-tests/all-tests.rkt diff --git a/collects/tests/typed-scheme/unit-tests/contract-tests.ss b/collects/tests/typed-scheme/unit-tests/contract-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/unit-tests/contract-tests.ss rename to collects/tests/typed-scheme/unit-tests/contract-tests.rkt diff --git a/collects/tests/typed-scheme/unit-tests/infer-tests.ss b/collects/tests/typed-scheme/unit-tests/infer-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/unit-tests/infer-tests.ss rename to collects/tests/typed-scheme/unit-tests/infer-tests.rkt diff --git a/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss b/collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/unit-tests/parse-type-tests.ss rename to collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt diff --git a/collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss b/collects/tests/typed-scheme/unit-tests/remove-intersect-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss rename to collects/tests/typed-scheme/unit-tests/remove-intersect-tests.rkt diff --git a/collects/tests/typed-scheme/unit-tests/subst-tests.ss b/collects/tests/typed-scheme/unit-tests/subst-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/unit-tests/subst-tests.ss rename to collects/tests/typed-scheme/unit-tests/subst-tests.rkt diff --git a/collects/tests/typed-scheme/unit-tests/subtype-tests.ss b/collects/tests/typed-scheme/unit-tests/subtype-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/unit-tests/subtype-tests.ss rename to collects/tests/typed-scheme/unit-tests/subtype-tests.rkt diff --git a/collects/tests/typed-scheme/unit-tests/test-utils.ss b/collects/tests/typed-scheme/unit-tests/test-utils.rkt similarity index 100% rename from collects/tests/typed-scheme/unit-tests/test-utils.ss rename to collects/tests/typed-scheme/unit-tests/test-utils.rkt diff --git a/collects/tests/typed-scheme/unit-tests/type-equal-tests.ss b/collects/tests/typed-scheme/unit-tests/type-equal-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/unit-tests/type-equal-tests.ss rename to collects/tests/typed-scheme/unit-tests/type-equal-tests.rkt diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt similarity index 100% rename from collects/tests/typed-scheme/unit-tests/typecheck-tests.ss rename to collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt diff --git a/collects/tests/typed-scheme/xfail/applicative.ss b/collects/tests/typed-scheme/xfail/applicative.rkt similarity index 100% rename from collects/tests/typed-scheme/xfail/applicative.ss rename to collects/tests/typed-scheme/xfail/applicative.rkt diff --git a/collects/tests/typed-scheme/xfail/apply-map-bug.ss b/collects/tests/typed-scheme/xfail/apply-map-bug.rkt similarity index 100% rename from collects/tests/typed-scheme/xfail/apply-map-bug.ss rename to collects/tests/typed-scheme/xfail/apply-map-bug.rkt diff --git a/collects/tests/typed-scheme/xfail/rec-contract.ss b/collects/tests/typed-scheme/xfail/rec-contract.rkt similarity index 100% rename from collects/tests/typed-scheme/xfail/rec-contract.ss rename to collects/tests/typed-scheme/xfail/rec-contract.rkt diff --git a/collects/typed-scheme/env/init-envs.ss b/collects/typed-scheme/env/init-envs.rkt similarity index 100% rename from collects/typed-scheme/env/init-envs.ss rename to collects/typed-scheme/env/init-envs.rkt diff --git a/collects/typed-scheme/env/lexical-env.ss b/collects/typed-scheme/env/lexical-env.rkt similarity index 100% rename from collects/typed-scheme/env/lexical-env.ss rename to collects/typed-scheme/env/lexical-env.rkt diff --git a/collects/typed-scheme/env/type-alias-env.ss b/collects/typed-scheme/env/type-alias-env.rkt similarity index 100% rename from collects/typed-scheme/env/type-alias-env.ss rename to collects/typed-scheme/env/type-alias-env.rkt diff --git a/collects/typed-scheme/env/type-env.ss b/collects/typed-scheme/env/type-env.rkt similarity index 100% rename from collects/typed-scheme/env/type-env.ss rename to collects/typed-scheme/env/type-env.rkt diff --git a/collects/typed-scheme/env/type-environments.ss b/collects/typed-scheme/env/type-environments.rkt similarity index 100% rename from collects/typed-scheme/env/type-environments.ss rename to collects/typed-scheme/env/type-environments.rkt diff --git a/collects/typed-scheme/env/type-name-env.ss b/collects/typed-scheme/env/type-name-env.rkt similarity index 100% rename from collects/typed-scheme/env/type-name-env.ss rename to collects/typed-scheme/env/type-name-env.rkt diff --git a/collects/typed-scheme/infer/constraint-structs.ss b/collects/typed-scheme/infer/constraint-structs.rkt similarity index 100% rename from collects/typed-scheme/infer/constraint-structs.ss rename to collects/typed-scheme/infer/constraint-structs.rkt diff --git a/collects/typed-scheme/infer/constraints.ss b/collects/typed-scheme/infer/constraints.rkt similarity index 100% rename from collects/typed-scheme/infer/constraints.ss rename to collects/typed-scheme/infer/constraints.rkt diff --git a/collects/typed-scheme/infer/dmap.ss b/collects/typed-scheme/infer/dmap.rkt similarity index 100% rename from collects/typed-scheme/infer/dmap.ss rename to collects/typed-scheme/infer/dmap.rkt diff --git a/collects/typed-scheme/infer/infer-unit.ss b/collects/typed-scheme/infer/infer-unit.rkt similarity index 100% rename from collects/typed-scheme/infer/infer-unit.ss rename to collects/typed-scheme/infer/infer-unit.rkt diff --git a/collects/typed-scheme/infer/infer.ss b/collects/typed-scheme/infer/infer.rkt similarity index 100% rename from collects/typed-scheme/infer/infer.ss rename to collects/typed-scheme/infer/infer.rkt diff --git a/collects/typed-scheme/infer/promote-demote.ss b/collects/typed-scheme/infer/promote-demote.rkt similarity index 100% rename from collects/typed-scheme/infer/promote-demote.ss rename to collects/typed-scheme/infer/promote-demote.rkt diff --git a/collects/typed-scheme/infer/restrict.ss b/collects/typed-scheme/infer/restrict.rkt similarity index 100% rename from collects/typed-scheme/infer/restrict.ss rename to collects/typed-scheme/infer/restrict.rkt diff --git a/collects/typed-scheme/infer/signatures.ss b/collects/typed-scheme/infer/signatures.rkt similarity index 100% rename from collects/typed-scheme/infer/signatures.ss rename to collects/typed-scheme/infer/signatures.rkt diff --git a/collects/typed-scheme/info.ss b/collects/typed-scheme/info.rkt similarity index 100% rename from collects/typed-scheme/info.ss rename to collects/typed-scheme/info.rkt diff --git a/collects/typed-scheme/lang/reader.ss b/collects/typed-scheme/lang/reader.rkt similarity index 100% rename from collects/typed-scheme/lang/reader.ss rename to collects/typed-scheme/lang/reader.rkt diff --git a/collects/typed-scheme/module-info.ss b/collects/typed-scheme/language-info.rkt similarity index 73% rename from collects/typed-scheme/module-info.ss rename to collects/typed-scheme/language-info.rkt index 864540fe..ebecb8e2 100644 --- a/collects/typed-scheme/module-info.ss +++ b/collects/typed-scheme/language-info.rkt @@ -1,10 +1,10 @@ #lang scheme/base (require typed-scheme/typed-reader) -(provide module-info configure) +(provide get-info configure) -(define ((module-info arg) key default) +(define ((get-info arg) key default) (case key - [(configure-runtime) `(#(typed-scheme/module-info configure ()))] + [(configure-runtime) `(#(typed-scheme/language-info configure ()))] [else default])) ;; options currently always empty diff --git a/collects/typed-scheme/main.ss b/collects/typed-scheme/main.rkt similarity index 100% rename from collects/typed-scheme/main.ss rename to collects/typed-scheme/main.rkt diff --git a/collects/typed-scheme/minimal.ss b/collects/typed-scheme/minimal.rkt similarity index 100% rename from collects/typed-scheme/minimal.ss rename to collects/typed-scheme/minimal.rkt diff --git a/collects/typed-scheme/no-check.ss b/collects/typed-scheme/no-check.rkt similarity index 100% rename from collects/typed-scheme/no-check.ss rename to collects/typed-scheme/no-check.rkt diff --git a/collects/typed-scheme/no-check/lang/reader.ss b/collects/typed-scheme/no-check/lang/reader.rkt similarity index 100% rename from collects/typed-scheme/no-check/lang/reader.ss rename to collects/typed-scheme/no-check/lang/reader.rkt diff --git a/collects/typed-scheme/private/annotate-classes.ss b/collects/typed-scheme/private/annotate-classes.rkt similarity index 100% rename from collects/typed-scheme/private/annotate-classes.ss rename to collects/typed-scheme/private/annotate-classes.rkt diff --git a/collects/typed-scheme/private/base-env-indexing-abs.ss b/collects/typed-scheme/private/base-env-indexing-abs.rkt similarity index 98% rename from collects/typed-scheme/private/base-env-indexing-abs.ss rename to collects/typed-scheme/private/base-env-indexing-abs.rkt index 1676ca26..44587b1c 100644 --- a/collects/typed-scheme/private/base-env-indexing-abs.ss +++ b/collects/typed-scheme/private/base-env-indexing-abs.rkt @@ -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*])) diff --git a/collects/typed-scheme/private/base-env-indexing.ss b/collects/typed-scheme/private/base-env-indexing.rkt similarity index 100% rename from collects/typed-scheme/private/base-env-indexing.ss rename to collects/typed-scheme/private/base-env-indexing.rkt diff --git a/collects/typed-scheme/private/base-env-numeric.ss b/collects/typed-scheme/private/base-env-numeric.rkt similarity index 99% rename from collects/typed-scheme/private/base-env-numeric.ss rename to collects/typed-scheme/private/base-env-numeric.rkt index a7eb9b63..8790a1e8 100644 --- a/collects/typed-scheme/private/base-env-numeric.ss +++ b/collects/typed-scheme/private/base-env-numeric.rkt @@ -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)) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.rkt similarity index 99% rename from collects/typed-scheme/private/base-env.ss rename to collects/typed-scheme/private/base-env.rkt index 959ea1fb..0cab853a 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.rkt @@ -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))) diff --git a/collects/typed-scheme/private/base-special-env.ss b/collects/typed-scheme/private/base-special-env.rkt similarity index 99% rename from collects/typed-scheme/private/base-special-env.ss rename to collects/typed-scheme/private/base-special-env.rkt index b631a4d7..4ead72b0 100644 --- a/collects/typed-scheme/private/base-special-env.ss +++ b/collects/typed-scheme/private/base-special-env.rkt @@ -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) diff --git a/collects/typed-scheme/private/base-types-extra.ss b/collects/typed-scheme/private/base-types-extra.rkt similarity index 100% rename from collects/typed-scheme/private/base-types-extra.ss rename to collects/typed-scheme/private/base-types-extra.rkt diff --git a/collects/typed-scheme/private/base-types-new.ss b/collects/typed-scheme/private/base-types-new.rkt similarity index 100% rename from collects/typed-scheme/private/base-types-new.ss rename to collects/typed-scheme/private/base-types-new.rkt diff --git a/collects/typed-scheme/private/base-types.ss b/collects/typed-scheme/private/base-types.ss deleted file mode 100644 index eb723e41..00000000 --- a/collects/typed-scheme/private/base-types.ss +++ /dev/null @@ -1,52 +0,0 @@ -#lang s-exp "type-env-lang.ss" - -[Number -Real] -[Real -Real] -[Complex -Number] -[Integer -Integer] -[Exact-Rational -ExactRational] -[Flonum -Flonum] -[Exact-Positive-Integer -ExactPositiveInteger] -[Exact-Nonnegative-Integer -ExactNonnegativeInteger] -[Natural -ExactNonnegativeInteger] - -[Void -Void] -[Boolean -Boolean] -[Symbol -Symbol] -[String -String] -[Any Univ] -[Port -Port] -[Path -Path] -[Path-String -Pathlike] -[Regexp -Regexp] -[PRegexp -PRegexp] -[Char -Char] -[Namespace -Namespace] -[Input-Port -Input-Port] -[Output-Port -Output-Port] -[Bytes -Bytes] -[EOF (-val eof)] -[Sexpof (-poly (a) (-Sexpof a))] ;; recursive union of sexps with a -[Syntaxof (-poly (a) (-Syntax a))] ;; syntax-e yields a -[Syntax-E In-Syntax] ;; possible results of syntax-e on "2D" syntax -[Syntax Any-Syntax] ;; (Syntaxof Syntax-E): "2D" syntax -[Datum Syntax-Sexp] ;; (Sexpof Syntax), datum->syntax yields "2D" syntax -[Sexp -Sexp] ;; (Sexpof (U)), syntax->datum of "2D" syntax -[Identifier Ident] -[Procedure top-func] -[Keyword -Keyword] -[Listof -Listof] -[Vectorof (-poly (a) (make-Vector a))] -[Option (-poly (a) (-opt a))] -[HashTable (-poly (a b) (-HT a b))] -[Promise (-poly (a) (-Promise a))] -[Pair (-poly (a b) (-pair a b))] -[Boxof (-poly (a) (make-Box a))] -[Continuation-Mark-Set -Cont-Mark-Set] -[False (-val #f)] -[True (-val #t)] -[Null (-val null)] -[Nothing (Un)] -[Pairof (-poly (a b) (-pair a b))] -[MPairof (-poly (a b) (-mpair a b))] - diff --git a/collects/typed-scheme/private/colon.ss b/collects/typed-scheme/private/colon.rkt similarity index 100% rename from collects/typed-scheme/private/colon.ss rename to collects/typed-scheme/private/colon.rkt diff --git a/collects/typed-scheme/private/env-lang.ss b/collects/typed-scheme/private/env-lang.rkt similarity index 100% rename from collects/typed-scheme/private/env-lang.ss rename to collects/typed-scheme/private/env-lang.rkt diff --git a/collects/typed-scheme/private/extra-procs.ss b/collects/typed-scheme/private/extra-procs.rkt similarity index 100% rename from collects/typed-scheme/private/extra-procs.ss rename to collects/typed-scheme/private/extra-procs.rkt diff --git a/collects/typed-scheme/private/optimize.ss b/collects/typed-scheme/private/optimize.rkt similarity index 100% rename from collects/typed-scheme/private/optimize.ss rename to collects/typed-scheme/private/optimize.rkt diff --git a/collects/typed-scheme/private/parse-type.ss b/collects/typed-scheme/private/parse-type.rkt similarity index 100% rename from collects/typed-scheme/private/parse-type.ss rename to collects/typed-scheme/private/parse-type.rkt diff --git a/collects/typed-scheme/private/prims.ss b/collects/typed-scheme/private/prims.rkt similarity index 100% rename from collects/typed-scheme/private/prims.ss rename to collects/typed-scheme/private/prims.rkt diff --git a/collects/typed-scheme/private/type-annotation.ss b/collects/typed-scheme/private/type-annotation.rkt similarity index 100% rename from collects/typed-scheme/private/type-annotation.ss rename to collects/typed-scheme/private/type-annotation.rkt diff --git a/collects/typed-scheme/private/type-contract.ss b/collects/typed-scheme/private/type-contract.rkt similarity index 100% rename from collects/typed-scheme/private/type-contract.ss rename to collects/typed-scheme/private/type-contract.rkt diff --git a/collects/typed-scheme/private/type-env-lang.ss b/collects/typed-scheme/private/type-env-lang.rkt similarity index 100% rename from collects/typed-scheme/private/type-env-lang.ss rename to collects/typed-scheme/private/type-env-lang.rkt diff --git a/collects/typed-scheme/private/with-types.ss b/collects/typed-scheme/private/with-types.rkt similarity index 87% rename from collects/typed-scheme/private/with-types.ss rename to collects/typed-scheme/private/with-types.rkt index 06c550b6..52b506a5 100644 --- a/collects/typed-scheme/private/with-types.ss +++ b/collects/typed-scheme/private/with-types.rkt @@ -2,29 +2,29 @@ (require (for-syntax scheme/base syntax/parse mzlib/etc scheme/match) scheme/require - "base-env.ss" - "base-special-env.ss" - "base-env-numeric.ss" - "base-env-indexing-old.ss" - "extra-procs.ss" - "prims.ss" - "base-types.ss" - scheme/contract/regions scheme/contract/base + "base-env.rkt" + "base-special-env.rkt" + "base-env-numeric.rkt" + "base-env-indexing-old.rkt" + "extra-procs.rkt" + "prims.rkt" + "base-types.rkt" + racket/contract/regions racket/contract/base (for-syntax - "base-types-extra.ss" + "base-types-extra.rkt" unstable/debug - (path-up "env/type-name-env.ss" - "env/type-alias-env.ss" - "infer/infer-dummy.ss" - "private/parse-type.ss" - "private/type-contract.ss" - "typecheck/typechecker.ss" - "env/type-environments.ss" - "env/type-env.ss" - "infer/infer.ss" - "utils/tc-utils.ss" - "types/utils.ss") - (except-in (path-up "utils/utils.ss" "types/convenience.ss" "types/abbrev.ss") infer ->))) + (path-up "env/type-name-env.rkt" + "env/type-alias-env.rkt" + "infer/infer-dummy.rkt" + "private/parse-type.rkt" + "private/type-contract.rkt" + "typecheck/typechecker.rkt" + "env/type-environments.rkt" + "env/type-env.rkt" + "infer/infer.rkt" + "utils/tc-utils.rkt" + "types/utils.rkt") + (except-in (path-up "utils/utils.rkt" "types/convenience.rkt" "types/abbrev.rkt") infer ->))) (provide with-type) diff --git a/collects/typed-scheme/rep/filter-rep.ss b/collects/typed-scheme/rep/filter-rep.rkt similarity index 100% rename from collects/typed-scheme/rep/filter-rep.ss rename to collects/typed-scheme/rep/filter-rep.rkt diff --git a/collects/typed-scheme/rep/free-variance.ss b/collects/typed-scheme/rep/free-variance.rkt similarity index 100% rename from collects/typed-scheme/rep/free-variance.ss rename to collects/typed-scheme/rep/free-variance.rkt diff --git a/collects/typed-scheme/rep/interning.ss b/collects/typed-scheme/rep/interning.rkt similarity index 100% rename from collects/typed-scheme/rep/interning.ss rename to collects/typed-scheme/rep/interning.rkt diff --git a/collects/typed-scheme/rep/object-rep.ss b/collects/typed-scheme/rep/object-rep.rkt similarity index 100% rename from collects/typed-scheme/rep/object-rep.ss rename to collects/typed-scheme/rep/object-rep.rkt diff --git a/collects/typed-scheme/rep/rep-utils.ss b/collects/typed-scheme/rep/rep-utils.rkt similarity index 100% rename from collects/typed-scheme/rep/rep-utils.ss rename to collects/typed-scheme/rep/rep-utils.rkt diff --git a/collects/typed-scheme/rep/type-rep.ss b/collects/typed-scheme/rep/type-rep.rkt similarity index 100% rename from collects/typed-scheme/rep/type-rep.ss rename to collects/typed-scheme/rep/type-rep.rkt diff --git a/collects/typed-scheme/scribblings/utils.ss b/collects/typed-scheme/scribblings/utils.rkt similarity index 100% rename from collects/typed-scheme/scribblings/utils.ss rename to collects/typed-scheme/scribblings/utils.rkt diff --git a/collects/typed-scheme/typecheck/check-subforms-unit.ss b/collects/typed-scheme/typecheck/check-subforms-unit.rkt similarity index 100% rename from collects/typed-scheme/typecheck/check-subforms-unit.ss rename to collects/typed-scheme/typecheck/check-subforms-unit.rkt diff --git a/collects/typed-scheme/typecheck/def-binding.ss b/collects/typed-scheme/typecheck/def-binding.rkt similarity index 100% rename from collects/typed-scheme/typecheck/def-binding.ss rename to collects/typed-scheme/typecheck/def-binding.rkt diff --git a/collects/typed-scheme/typecheck/find-annotation.ss b/collects/typed-scheme/typecheck/find-annotation.rkt similarity index 100% rename from collects/typed-scheme/typecheck/find-annotation.ss rename to collects/typed-scheme/typecheck/find-annotation.rkt diff --git a/collects/typed-scheme/typecheck/internal-forms.ss b/collects/typed-scheme/typecheck/internal-forms.rkt similarity index 100% rename from collects/typed-scheme/typecheck/internal-forms.ss rename to collects/typed-scheme/typecheck/internal-forms.rkt diff --git a/collects/typed-scheme/typecheck/provide-handling.ss b/collects/typed-scheme/typecheck/provide-handling.rkt similarity index 99% rename from collects/typed-scheme/typecheck/provide-handling.ss rename to collects/typed-scheme/typecheck/provide-handling.rkt index ecfc7a92..88eb1126 100644 --- a/collects/typed-scheme/typecheck/provide-handling.ss +++ b/collects/typed-scheme/typecheck/provide-handling.rkt @@ -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) diff --git a/collects/typed-scheme/typecheck/signatures.ss b/collects/typed-scheme/typecheck/signatures.rkt similarity index 100% rename from collects/typed-scheme/typecheck/signatures.ss rename to collects/typed-scheme/typecheck/signatures.rkt diff --git a/collects/typed-scheme/typecheck/tc-app-helper.ss b/collects/typed-scheme/typecheck/tc-app-helper.rkt similarity index 100% rename from collects/typed-scheme/typecheck/tc-app-helper.ss rename to collects/typed-scheme/typecheck/tc-app-helper.rkt diff --git a/collects/typed-scheme/typecheck/tc-app.ss b/collects/typed-scheme/typecheck/tc-app.rkt similarity index 99% rename from collects/typed-scheme/typecheck/tc-app.ss rename to collects/typed-scheme/typecheck/tc-app.rkt index 75c04c36..dcaca4d2 100644 --- a/collects/typed-scheme/typecheck/tc-app.ss +++ b/collects/typed-scheme/typecheck/tc-app.rkt @@ -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)))))) diff --git a/collects/typed-scheme/typecheck/tc-envops.ss b/collects/typed-scheme/typecheck/tc-envops.rkt similarity index 100% rename from collects/typed-scheme/typecheck/tc-envops.ss rename to collects/typed-scheme/typecheck/tc-envops.rkt diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.ss b/collects/typed-scheme/typecheck/tc-expr-unit.rkt similarity index 99% rename from collects/typed-scheme/typecheck/tc-expr-unit.ss rename to collects/typed-scheme/typecheck/tc-expr-unit.rkt index dbe0f184..834aa68f 100644 --- a/collects/typed-scheme/typecheck/tc-expr-unit.ss +++ b/collects/typed-scheme/typecheck/tc-expr-unit.rkt @@ -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^) diff --git a/collects/typed-scheme/typecheck/tc-if.ss b/collects/typed-scheme/typecheck/tc-if.rkt similarity index 100% rename from collects/typed-scheme/typecheck/tc-if.ss rename to collects/typed-scheme/typecheck/tc-if.rkt diff --git a/collects/typed-scheme/typecheck/tc-lambda-unit.ss b/collects/typed-scheme/typecheck/tc-lambda-unit.rkt similarity index 100% rename from collects/typed-scheme/typecheck/tc-lambda-unit.ss rename to collects/typed-scheme/typecheck/tc-lambda-unit.rkt diff --git a/collects/typed-scheme/typecheck/tc-let-unit.ss b/collects/typed-scheme/typecheck/tc-let-unit.rkt similarity index 100% rename from collects/typed-scheme/typecheck/tc-let-unit.ss rename to collects/typed-scheme/typecheck/tc-let-unit.rkt diff --git a/collects/typed-scheme/typecheck/tc-metafunctions.ss b/collects/typed-scheme/typecheck/tc-metafunctions.rkt similarity index 100% rename from collects/typed-scheme/typecheck/tc-metafunctions.ss rename to collects/typed-scheme/typecheck/tc-metafunctions.rkt diff --git a/collects/typed-scheme/typecheck/tc-structs.ss b/collects/typed-scheme/typecheck/tc-structs.rkt similarity index 100% rename from collects/typed-scheme/typecheck/tc-structs.ss rename to collects/typed-scheme/typecheck/tc-structs.rkt diff --git a/collects/typed-scheme/typecheck/tc-toplevel.ss b/collects/typed-scheme/typecheck/tc-toplevel.rkt similarity index 100% rename from collects/typed-scheme/typecheck/tc-toplevel.ss rename to collects/typed-scheme/typecheck/tc-toplevel.rkt diff --git a/collects/typed-scheme/typecheck/typechecker.ss b/collects/typed-scheme/typecheck/typechecker.rkt similarity index 100% rename from collects/typed-scheme/typecheck/typechecker.ss rename to collects/typed-scheme/typecheck/typechecker.rkt diff --git a/collects/typed-scheme/typed-reader.ss b/collects/typed-scheme/typed-reader.rkt similarity index 100% rename from collects/typed-scheme/typed-reader.ss rename to collects/typed-scheme/typed-reader.rkt diff --git a/collects/typed-scheme/typed-scheme.ss b/collects/typed-scheme/typed-scheme.rkt similarity index 100% rename from collects/typed-scheme/typed-scheme.ss rename to collects/typed-scheme/typed-scheme.rkt diff --git a/collects/typed-scheme/types/abbrev.ss b/collects/typed-scheme/types/abbrev.rkt similarity index 100% rename from collects/typed-scheme/types/abbrev.ss rename to collects/typed-scheme/types/abbrev.rkt diff --git a/collects/typed-scheme/types/convenience.ss b/collects/typed-scheme/types/convenience.ss deleted file mode 100644 index ae5fbb4e..00000000 --- a/collects/typed-scheme/types/convenience.ss +++ /dev/null @@ -1,70 +0,0 @@ -#lang scheme/base -(require "../utils/utils.ss" - (rep type-rep filter-rep object-rep) - (utils tc-utils) - "abbrev.ss" (only-in scheme/contract current-blame-format) - (types comparison printer union subtype utils) - scheme/list scheme/match scheme/promise - (for-syntax syntax/parse scheme/base) - (for-template scheme/base)) - -(provide (all-defined-out) - (all-from-out "abbrev.ss") - ;; these should all eventually go away - make-Name make-ValuesDots make-Function - (rep-out filter-rep object-rep)) - -(define (one-of/c . args) - (apply Un (map -val args))) - -(define (Un/eff . args) - (apply Un (map tc-result-t args))) - - -;; if t is of the form (Pair t* (Pair t* ... (Listof t*))) -;; return t* -;; otherwise, return t -;; generalize : Type -> Type -(define (generalize t) - (let/ec exit - (let loop ([t* t]) - (match t* - [(Value: '()) (-lst Univ)] - [(Value: 0) -Nat] - [(Mu: var (Union: (list (Value: '()) (Pair: _ (F: var))))) t*] - [(Pair: t1 (Value: '())) (-lst t1)] - [(Pair: t1 t2) - (let ([t-new (loop t2)]) - (if (type-equal? (-lst t1) t-new) - t-new - (exit t)))] - [_ (exit t)])))) - - -;; DO NOT USE if t contains #f -(define (-opt t) (Un (-val #f) t)) - -(define In-Syntax - (-mu e - (*Un (-val null) -Boolean -Symbol -String -Keyword -Char -Number - (make-Vector (-Syntax e)) - (make-Box (-Syntax e)) - (-lst (-Syntax e)) - (-pair (-Syntax e) (-Syntax e))))) - -(define Any-Syntax (-Syntax In-Syntax)) - -(define (-Sexpof t) - (-mu sexp - (Un (-val '()) - -Number -Boolean -Symbol -String -Keyword -Char - (-pair sexp sexp) - (make-Vector sexp) - (make-Box sexp) - t))) - -(define -Sexp (-Sexpof (Un))) - -(define Syntax-Sexp (-Sexpof Any-Syntax)) - -(define Ident (-Syntax -Symbol)) diff --git a/collects/typed-scheme/types/printer.ss b/collects/typed-scheme/types/printer.rkt similarity index 100% rename from collects/typed-scheme/types/printer.ss rename to collects/typed-scheme/types/printer.rkt diff --git a/collects/typed-scheme/types/remove-intersect.ss b/collects/typed-scheme/types/remove-intersect.rkt similarity index 100% rename from collects/typed-scheme/types/remove-intersect.ss rename to collects/typed-scheme/types/remove-intersect.rkt diff --git a/collects/typed-scheme/types/resolve.ss b/collects/typed-scheme/types/resolve.rkt similarity index 100% rename from collects/typed-scheme/types/resolve.ss rename to collects/typed-scheme/types/resolve.rkt diff --git a/collects/typed-scheme/types/subtype.ss b/collects/typed-scheme/types/subtype.rkt similarity index 100% rename from collects/typed-scheme/types/subtype.ss rename to collects/typed-scheme/types/subtype.rkt diff --git a/collects/typed-scheme/types/type-table.ss b/collects/typed-scheme/types/type-table.rkt similarity index 100% rename from collects/typed-scheme/types/type-table.ss rename to collects/typed-scheme/types/type-table.rkt diff --git a/collects/typed-scheme/types/union.ss b/collects/typed-scheme/types/union.rkt similarity index 100% rename from collects/typed-scheme/types/union.ss rename to collects/typed-scheme/types/union.rkt diff --git a/collects/typed-scheme/types/utils.ss b/collects/typed-scheme/types/utils.rkt similarity index 100% rename from collects/typed-scheme/types/utils.ss rename to collects/typed-scheme/types/utils.rkt diff --git a/collects/typed-scheme/utils/any-wrap.ss b/collects/typed-scheme/utils/any-wrap.rkt similarity index 100% rename from collects/typed-scheme/utils/any-wrap.ss rename to collects/typed-scheme/utils/any-wrap.rkt diff --git a/collects/typed-scheme/utils/require-contract.ss b/collects/typed-scheme/utils/require-contract.rkt similarity index 100% rename from collects/typed-scheme/utils/require-contract.ss rename to collects/typed-scheme/utils/require-contract.rkt diff --git a/collects/typed-scheme/utils/stxclass-util.ss b/collects/typed-scheme/utils/stxclass-util.rkt similarity index 100% rename from collects/typed-scheme/utils/stxclass-util.ss rename to collects/typed-scheme/utils/stxclass-util.rkt diff --git a/collects/typed-scheme/utils/tc-utils.ss b/collects/typed-scheme/utils/tc-utils.rkt similarity index 100% rename from collects/typed-scheme/utils/tc-utils.ss rename to collects/typed-scheme/utils/tc-utils.rkt diff --git a/collects/typed-scheme/utils/utils.ss b/collects/typed-scheme/utils/utils.rkt similarity index 100% rename from collects/typed-scheme/utils/utils.ss rename to collects/typed-scheme/utils/utils.rkt diff --git a/collects/typed/file/gif.ss b/collects/typed/file/gif.rkt similarity index 100% rename from collects/typed/file/gif.ss rename to collects/typed/file/gif.rkt diff --git a/collects/typed/file/md5.ss b/collects/typed/file/md5.rkt similarity index 100% rename from collects/typed/file/md5.ss rename to collects/typed/file/md5.rkt diff --git a/collects/typed/file/tar.ss b/collects/typed/file/tar.rkt similarity index 100% rename from collects/typed/file/tar.ss rename to collects/typed/file/tar.rkt diff --git a/collects/typed/framework/framework.ss b/collects/typed/framework/framework.rkt similarity index 100% rename from collects/typed/framework/framework.ss rename to collects/typed/framework/framework.rkt diff --git a/collects/typed/framework/prefs-contract.ss b/collects/typed/framework/prefs-contract.rkt similarity index 100% rename from collects/typed/framework/prefs-contract.ss rename to collects/typed/framework/prefs-contract.rkt diff --git a/collects/typed/mred/mred.ss b/collects/typed/mred/mred.rkt similarity index 100% rename from collects/typed/mred/mred.ss rename to collects/typed/mred/mred.rkt diff --git a/collects/typed/net/base64.ss b/collects/typed/net/base64.rkt similarity index 100% rename from collects/typed/net/base64.ss rename to collects/typed/net/base64.rkt diff --git a/collects/typed/net/cgi.ss b/collects/typed/net/cgi.rkt similarity index 100% rename from collects/typed/net/cgi.ss rename to collects/typed/net/cgi.rkt diff --git a/collects/typed/net/cookie.ss b/collects/typed/net/cookie.rkt similarity index 100% rename from collects/typed/net/cookie.ss rename to collects/typed/net/cookie.rkt diff --git a/collects/typed/net/dns.ss b/collects/typed/net/dns.rkt similarity index 100% rename from collects/typed/net/dns.ss rename to collects/typed/net/dns.rkt diff --git a/collects/typed/net/ftp.ss b/collects/typed/net/ftp.rkt similarity index 100% rename from collects/typed/net/ftp.ss rename to collects/typed/net/ftp.rkt diff --git a/collects/typed/net/gifwrite.ss b/collects/typed/net/gifwrite.rkt similarity index 100% rename from collects/typed/net/gifwrite.ss rename to collects/typed/net/gifwrite.rkt diff --git a/collects/typed/net/head.ss b/collects/typed/net/head.rkt similarity index 100% rename from collects/typed/net/head.ss rename to collects/typed/net/head.rkt diff --git a/collects/typed/net/imap.ss b/collects/typed/net/imap.rkt similarity index 100% rename from collects/typed/net/imap.ss rename to collects/typed/net/imap.rkt diff --git a/collects/typed/net/mime.ss b/collects/typed/net/mime.rkt similarity index 100% rename from collects/typed/net/mime.ss rename to collects/typed/net/mime.rkt diff --git a/collects/typed/net/nntp.ss b/collects/typed/net/nntp.rkt similarity index 100% rename from collects/typed/net/nntp.ss rename to collects/typed/net/nntp.rkt diff --git a/collects/typed/net/pop3.ss b/collects/typed/net/pop3.rkt similarity index 100% rename from collects/typed/net/pop3.ss rename to collects/typed/net/pop3.rkt diff --git a/collects/typed/net/qp.ss b/collects/typed/net/qp.rkt similarity index 100% rename from collects/typed/net/qp.ss rename to collects/typed/net/qp.rkt diff --git a/collects/typed/net/sendmail.ss b/collects/typed/net/sendmail.rkt similarity index 100% rename from collects/typed/net/sendmail.ss rename to collects/typed/net/sendmail.rkt diff --git a/collects/typed/net/sendurl.ss b/collects/typed/net/sendurl.rkt similarity index 100% rename from collects/typed/net/sendurl.ss rename to collects/typed/net/sendurl.rkt diff --git a/collects/typed/net/smtp.ss b/collects/typed/net/smtp.rkt similarity index 100% rename from collects/typed/net/smtp.ss rename to collects/typed/net/smtp.rkt diff --git a/collects/typed/net/uri-codec.ss b/collects/typed/net/uri-codec.rkt similarity index 100% rename from collects/typed/net/uri-codec.ss rename to collects/typed/net/uri-codec.rkt diff --git a/collects/typed/net/url.ss b/collects/typed/net/url.rkt similarity index 100% rename from collects/typed/net/url.ss rename to collects/typed/net/url.rkt diff --git a/collects/typed/private/utils.ss b/collects/typed/private/utils.rkt similarity index 100% rename from collects/typed/private/utils.ss rename to collects/typed/private/utils.rkt diff --git a/collects/typed/private/wrap.ss b/collects/typed/private/wrap.rkt similarity index 100% rename from collects/typed/private/wrap.ss rename to collects/typed/private/wrap.rkt diff --git a/collects/typed/scheme.ss b/collects/typed/scheme.rkt similarity index 100% rename from collects/typed/scheme.ss rename to collects/typed/scheme.rkt diff --git a/collects/typed/scheme/base.ss b/collects/typed/scheme/base.rkt similarity index 100% rename from collects/typed/scheme/base.ss rename to collects/typed/scheme/base.rkt diff --git a/collects/typed/scheme/base/lang/reader.ss b/collects/typed/scheme/base/lang/reader.rkt similarity index 70% rename from collects/typed/scheme/base/lang/reader.ss rename to collects/typed/scheme/base/lang/reader.rkt index ce8f8d0f..b0982890 100644 --- a/collects/typed/scheme/base/lang/reader.ss +++ b/collects/typed/scheme/base/lang/reader.rkt @@ -5,14 +5,14 @@ typed/scheme/base #:read r:read #:read-syntax r:read-syntax #:info make-info -#:module-info make-module-info +#:language-info make-language-info (define (make-info key default use-default) (case key [else (use-default key default)])) -(define make-module-info - `#(typed-scheme/module-info module-info ())) +(define make-language-info + `#(typed-scheme/language-info get-info ())) (require (prefix-in r: typed-scheme/typed-reader)) diff --git a/collects/typed/scheme/lang/reader.ss b/collects/typed/scheme/lang/reader.rkt similarity index 70% rename from collects/typed/scheme/lang/reader.ss rename to collects/typed/scheme/lang/reader.rkt index 3a91f1a7..0c7fbe6b 100644 --- a/collects/typed/scheme/lang/reader.ss +++ b/collects/typed/scheme/lang/reader.rkt @@ -5,14 +5,14 @@ typed/scheme #:read r:read #:read-syntax r:read-syntax #:info make-info -#:module-info make-module-info +#:language-info make-language-info (define (make-info key default use-default) (case key [else (use-default key default)])) -(define make-module-info - `#(typed-scheme/module-info module-info ())) +(define make-language-info + `#(typed-scheme/language-info get-info ())) (require (prefix-in r: typed-scheme/typed-reader)) diff --git a/collects/typed/scheme/system.ss b/collects/typed/scheme/system.rkt similarity index 100% rename from collects/typed/scheme/system.ss rename to collects/typed/scheme/system.rkt diff --git a/collects/typed/srfi/14.ss b/collects/typed/srfi/14.rkt similarity index 100% rename from collects/typed/srfi/14.ss rename to collects/typed/srfi/14.rkt diff --git a/collects/unstable/match.ss b/collects/unstable/match.rkt similarity index 73% rename from collects/unstable/match.ss rename to collects/unstable/match.rkt index 584b6651..45887f3b 100644 --- a/collects/unstable/match.ss +++ b/collects/unstable/match.rkt @@ -1,6 +1,6 @@ -#lang scheme/base +#lang racket/base -(require scheme/match (for-syntax scheme/base)) +(require racket/match (for-syntax racket/base)) (provide ==) diff --git a/collects/unstable/mutated-vars.ss b/collects/unstable/mutated-vars.rkt similarity index 97% rename from collects/unstable/mutated-vars.ss rename to collects/unstable/mutated-vars.rkt index a585a2c3..1665b820 100644 --- a/collects/unstable/mutated-vars.ss +++ b/collects/unstable/mutated-vars.rkt @@ -1,6 +1,6 @@ -#lang scheme/base +#lang racket/base -(require (for-template scheme/base) +(require (for-template racket/base) syntax/boundmap syntax/kerncase) ;; mapping telling whether an identifer is mutated