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 98% rename from collects/tests/typed-scheme/main.ss rename to collects/tests/typed-scheme/main.rkt index bbd37489..048b2d41 100644 --- a/collects/tests/typed-scheme/main.ss +++ b/collects/tests/typed-scheme/main.rkt @@ -2,7 +2,7 @@ (provide go go/text) -(require schemeunit schemeunit/text-ui +(require rktunit rktunit/text-ui mzlib/etc scheme/port compiler/compiler scheme/match 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 93% rename from collects/tests/typed-scheme/succeed/fixnum.ss rename to collects/tests/typed-scheme/succeed/fixnum.rkt index b9dfc1b9..640cdf1c 100644 --- a/collects/tests/typed-scheme/succeed/fixnum.ss +++ b/collects/tests/typed-scheme/succeed/fixnum.rkt @@ -10,7 +10,7 @@ ;; really badly wrong. (: check (All (a) ((a a -> Boolean) a a -> Boolean))) -;; Simple check function as SchemeUnit doesn't work in Typed Scheme (yet) +;; Simple check function as RktUnit doesn't work in Typed Scheme (yet) (define (check f a b) (if (f a b) #t diff --git a/collects/tests/typed-scheme/succeed/flonum.ss b/collects/tests/typed-scheme/succeed/flonum.rkt similarity index 96% rename from collects/tests/typed-scheme/succeed/flonum.ss rename to collects/tests/typed-scheme/succeed/flonum.rkt index d6c70ff3..bacb3775 100644 --- a/collects/tests/typed-scheme/succeed/flonum.ss +++ b/collects/tests/typed-scheme/succeed/flonum.rkt @@ -5,7 +5,7 @@ scheme/unsafe/ops) (: check (All (a) ((a a -> Boolean) a a -> Boolean))) -;; Simple check function as SchemeUnit doesn't work in Typed Scheme (yet) +;; Simple check function as RktUnit doesn't work in Typed Scheme (yet) (define (check f a b) (if (f a b) #t diff --git a/collects/tests/typed-scheme/succeed/flvector.ss b/collects/tests/typed-scheme/succeed/flvector.rkt similarity index 93% rename from collects/tests/typed-scheme/succeed/flvector.ss rename to collects/tests/typed-scheme/succeed/flvector.rkt index 9ee9e900..066d2068 100644 --- a/collects/tests/typed-scheme/succeed/flvector.ss +++ b/collects/tests/typed-scheme/succeed/flvector.rkt @@ -11,7 +11,7 @@ ;; really badly wrong. (: check (All (a) ((a a -> Boolean) a a -> Boolean))) -;; Simple check function as SchemeUnit doesn't work in Typed Scheme (yet) +;; Simple check function as RktUnit doesn't work in Typed Scheme (yet) (define (check f a b) (if (f a b) #t @@ -40,4 +40,4 @@ (let ([v (flvector 1. 2. 3.)]) (unsafe-flvector-set! v 0 10.) (unsafe-flvector-ref v 0)) - 10.) \ No newline at end of file + 10.) 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 95% rename from collects/tests/typed-scheme/unit-tests/all-tests.ss rename to collects/tests/typed-scheme/unit-tests/all-tests.rkt index 697a0473..7d6b9f54 100644 --- a/collects/tests/typed-scheme/unit-tests/all-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/all-tests.rkt @@ -12,7 +12,7 @@ "subst-tests.ss" ;; pass "infer-tests.ss" ;; pass "contract-tests.ss" - (r:infer infer infer-dummy) schemeunit) + (r:infer infer infer-dummy) rktunit) (provide unit-tests) diff --git a/collects/tests/typed-scheme/unit-tests/contract-tests.ss b/collects/tests/typed-scheme/unit-tests/contract-tests.rkt similarity index 96% rename from collects/tests/typed-scheme/unit-tests/contract-tests.ss rename to collects/tests/typed-scheme/unit-tests/contract-tests.rkt index 39884f06..2da932c6 100644 --- a/collects/tests/typed-scheme/unit-tests/contract-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/contract-tests.rkt @@ -7,7 +7,7 @@ (rep type-rep filter-rep object-rep) (types utils union convenience) (utils tc-utils) - schemeunit) + rktunit) (define-syntax-rule (t e) (test-not-exn (format "~a" e) (lambda () (type->contract e (lambda _ (error "type could not be converted to contract")))))) diff --git a/collects/tests/typed-scheme/unit-tests/infer-tests.ss b/collects/tests/typed-scheme/unit-tests/infer-tests.rkt similarity index 99% rename from collects/tests/typed-scheme/unit-tests/infer-tests.ss rename to collects/tests/typed-scheme/unit-tests/infer-tests.rkt index 7edf9b4c..4418c8f5 100644 --- a/collects/tests/typed-scheme/unit-tests/infer-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/infer-tests.rkt @@ -3,7 +3,7 @@ (require (rep type-rep) (r:infer infer) (types convenience union utils abbrev) - schemeunit) + rktunit) 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 99% rename from collects/tests/typed-scheme/unit-tests/parse-type-tests.ss rename to collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt index f7f028fb..8f04fa82 100644 --- a/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt @@ -8,7 +8,7 @@ (private base-types-new base-types-extra colon) (for-template (private base-types-new base-types-extra base-env colon)) (private parse-type) - schemeunit) + rktunit) (provide parse-type-tests) 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 99% rename from collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss rename to collects/tests/typed-scheme/unit-tests/remove-intersect-tests.rkt index 39fc818d..46d0910d 100644 --- a/collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/remove-intersect-tests.rkt @@ -3,7 +3,7 @@ (rep type-rep) (r:infer infer infer-dummy) (types convenience subtype union remove-intersect) - schemeunit) + rktunit) (define-syntax (over-tests stx) (syntax-case stx () diff --git a/collects/tests/typed-scheme/unit-tests/subst-tests.ss b/collects/tests/typed-scheme/unit-tests/subst-tests.rkt similarity index 98% rename from collects/tests/typed-scheme/unit-tests/subst-tests.ss rename to collects/tests/typed-scheme/unit-tests/subst-tests.rkt index 337518b1..546c4eef 100644 --- a/collects/tests/typed-scheme/unit-tests/subst-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/subst-tests.rkt @@ -3,7 +3,7 @@ (require "test-utils.ss" (for-syntax scheme/base) (rep type-rep) (types utils abbrev) - schemeunit) + rktunit) (define-syntax-rule (s img var tgt result) (test-eq? "test" (substitute img 'var tgt) result)) diff --git a/collects/tests/typed-scheme/unit-tests/subtype-tests.ss b/collects/tests/typed-scheme/unit-tests/subtype-tests.rkt similarity index 99% rename from collects/tests/typed-scheme/unit-tests/subtype-tests.ss rename to collects/tests/typed-scheme/unit-tests/subtype-tests.rkt index c6f68f75..9f5fe6c9 100644 --- a/collects/tests/typed-scheme/unit-tests/subtype-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/subtype-tests.rkt @@ -5,7 +5,7 @@ (rep type-rep) (env init-envs type-environments) (r:infer infer infer-dummy) - schemeunit + rktunit (for-syntax scheme/base)) (provide subtype-tests) diff --git a/collects/tests/typed-scheme/unit-tests/test-utils.ss b/collects/tests/typed-scheme/unit-tests/test-utils.rkt similarity index 92% rename from collects/tests/typed-scheme/unit-tests/test-utils.ss rename to collects/tests/typed-scheme/unit-tests/test-utils.rkt index b3662730..bcce8ab8 100644 --- a/collects/tests/typed-scheme/unit-tests/test-utils.ss +++ b/collects/tests/typed-scheme/unit-tests/test-utils.rkt @@ -7,7 +7,7 @@ typed-scheme/utils/utils (for-syntax scheme/base) (types comparison utils) - schemeunit schemeunit/text-ui) + rktunit rktunit/text-ui) (provide private typecheck (rename-out [infer r:infer]) utils env rep types) @@ -20,7 +20,7 @@ (run-tests (mk-suite ts))) (define (test/gui suite) - (((dynamic-require 'schemeunit/private/gui/gui 'make-gui-runner)) + (((dynamic-require 'rktunit/private/gui/gui 'make-gui-runner)) suite)) (define (run/gui . ts) 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 98% rename from collects/tests/typed-scheme/unit-tests/type-equal-tests.ss rename to collects/tests/typed-scheme/unit-tests/type-equal-tests.rkt index 43022800..1fcd1f75 100644 --- a/collects/tests/typed-scheme/unit-tests/type-equal-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/type-equal-tests.rkt @@ -3,7 +3,7 @@ (require "test-utils.ss" (for-syntax scheme/base) (rep type-rep) (types comparison abbrev union) - schemeunit) + rktunit) (provide type-equal-tests) 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 97% rename from collects/typed-scheme/env/init-envs.ss rename to collects/typed-scheme/env/init-envs.rkt index 91a7ddef..9fbf1a51 100644 --- a/collects/typed-scheme/env/init-envs.ss +++ b/collects/typed-scheme/env/init-envs.rkt @@ -1,9 +1,9 @@ #lang scheme/base (provide (all-defined-out)) -(require "../utils/utils.ss" - "type-env.ss" - "type-name-env.ss" - "type-alias-env.ss" +(require "../utils/utils.rkt" + "type-env.rkt" + "type-name-env.rkt" + "type-alias-env.rkt" unstable/struct (rep type-rep object-rep filter-rep rep-utils) (for-template (rep type-rep object-rep filter-rep) diff --git a/collects/typed-scheme/env/lexical-env.ss b/collects/typed-scheme/env/lexical-env.rkt similarity index 97% rename from collects/typed-scheme/env/lexical-env.ss rename to collects/typed-scheme/env/lexical-env.rkt index a48332d6..15f9e25b 100644 --- a/collects/typed-scheme/env/lexical-env.ss +++ b/collects/typed-scheme/env/lexical-env.rkt @@ -1,8 +1,8 @@ #lang scheme/base -(require "../utils/utils.ss" - "type-environments.ss" - "type-env.ss" +(require "../utils/utils.rkt" + "type-environments.rkt" + "type-env.rkt" unstable/mutated-vars (only-in scheme/contract ->* -> or/c any/c listof cons/c) (utils tc-utils) diff --git a/collects/typed-scheme/env/type-alias-env.ss b/collects/typed-scheme/env/type-alias-env.rkt similarity index 98% rename from collects/typed-scheme/env/type-alias-env.ss rename to collects/typed-scheme/env/type-alias-env.rkt index ece991cb..0d1b6298 100644 --- a/collects/typed-scheme/env/type-alias-env.ss +++ b/collects/typed-scheme/env/type-alias-env.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss" +(require "../utils/utils.rkt" syntax/boundmap (utils tc-utils) mzlib/trace diff --git a/collects/typed-scheme/env/type-env.ss b/collects/typed-scheme/env/type-env.rkt similarity index 98% rename from collects/typed-scheme/env/type-env.ss rename to collects/typed-scheme/env/type-env.rkt index 8521f8ec..300220b8 100644 --- a/collects/typed-scheme/env/type-env.ss +++ b/collects/typed-scheme/env/type-env.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss" +(require "../utils/utils.rkt" syntax/id-table (utils tc-utils) (types utils)) diff --git a/collects/typed-scheme/env/type-environments.ss b/collects/typed-scheme/env/type-environments.rkt similarity index 98% rename from collects/typed-scheme/env/type-environments.ss rename to collects/typed-scheme/env/type-environments.rkt index 00ceb443..2254d948 100644 --- a/collects/typed-scheme/env/type-environments.ss +++ b/collects/typed-scheme/env/type-environments.rkt @@ -1,7 +1,7 @@ #lang scheme/base (require scheme/contract - (prefix-in r: "../utils/utils.ss") + (prefix-in r: "../utils/utils.rkt") scheme/match (r:rep filter-rep rep-utils type-rep) unstable/struct (except-in (r:utils tc-utils) make-env) #;(r:typecheck tc-metafunctions)) diff --git a/collects/typed-scheme/env/type-name-env.ss b/collects/typed-scheme/env/type-name-env.rkt similarity index 97% rename from collects/typed-scheme/env/type-name-env.ss rename to collects/typed-scheme/env/type-name-env.rkt index 6b035daa..c741b552 100644 --- a/collects/typed-scheme/env/type-name-env.ss +++ b/collects/typed-scheme/env/type-name-env.rkt @@ -1,5 +1,5 @@ #lang scheme/base -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require syntax/boundmap mzlib/trace diff --git a/collects/typed-scheme/infer/constraint-structs.ss b/collects/typed-scheme/infer/constraint-structs.rkt similarity index 90% rename from collects/typed-scheme/infer/constraint-structs.ss rename to collects/typed-scheme/infer/constraint-structs.rkt index 1fbf9742..ea946d98 100644 --- a/collects/typed-scheme/infer/constraint-structs.ss +++ b/collects/typed-scheme/infer/constraint-structs.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss" (rep type-rep) scheme/contract scheme/match (for-syntax scheme/base syntax/parse)) +(require "../utils/utils.rkt" (rep type-rep) scheme/contract scheme/match (for-syntax scheme/base syntax/parse)) ;; S, T types ;; X a var @@ -23,7 +23,7 @@ ;; maps is a list of pairs of ;; - functional maps from vars to c's -;; - dmaps (see dmap.ss) +;; - dmaps (see dmap.rkt) ;; we need a bunch of mappings for each cset to handle case-lambda ;; because case-lambda can generate multiple possible solutions, and we ;; don't want to rule them out too early diff --git a/collects/typed-scheme/infer/constraints.ss b/collects/typed-scheme/infer/constraints.rkt similarity index 96% rename from collects/typed-scheme/infer/constraints.ss rename to collects/typed-scheme/infer/constraints.rkt index b08341d4..d4969197 100644 --- a/collects/typed-scheme/infer/constraints.ss +++ b/collects/typed-scheme/infer/constraints.rkt @@ -1,11 +1,11 @@ #lang scheme/unit -(require "../utils/utils.ss" +(require "../utils/utils.rkt" (types convenience utils union subtype) (rep type-rep) (utils tc-utils) unstable/sequence unstable/hash - "signatures.ss" "constraint-structs.ss" + "signatures.rkt" "constraint-structs.rkt" scheme/match) (import restrict^ dmap^) diff --git a/collects/typed-scheme/infer/dmap.ss b/collects/typed-scheme/infer/dmap.rkt similarity index 96% rename from collects/typed-scheme/infer/dmap.ss rename to collects/typed-scheme/infer/dmap.rkt index 1a3a9baa..c8857c91 100644 --- a/collects/typed-scheme/infer/dmap.ss +++ b/collects/typed-scheme/infer/dmap.rkt @@ -1,7 +1,7 @@ #lang scheme/unit -(require "../utils/utils.ss" - "signatures.ss" "constraint-structs.ss" +(require "../utils/utils.rkt" + "signatures.rkt" "constraint-structs.rkt" (utils tc-utils) unstable/sequence unstable/hash scheme/match) diff --git a/collects/typed-scheme/infer/infer-unit.ss b/collects/typed-scheme/infer/infer-unit.rkt similarity index 97% rename from collects/typed-scheme/infer/infer-unit.ss rename to collects/typed-scheme/infer/infer-unit.rkt index 902ca771..07bdec74 100644 --- a/collects/typed-scheme/infer/infer-unit.ss +++ b/collects/typed-scheme/infer/infer-unit.rkt @@ -3,15 +3,15 @@ (require scheme/require (except-in (path-up - "utils/utils.ss" "utils/tc-utils.ss" - "rep/free-variance.ss" "rep/type-rep.ss" "rep/filter-rep.ss" "rep/rep-utils.ss" - "types/convenience.ss" "types/union.ss" "types/subtype.ss" "types/remove-intersect.ss" "types/resolve.ss" - "env/type-name-env.ss") + "utils/utils.rkt" "utils/tc-utils.rkt" + "rep/free-variance.rkt" "rep/type-rep.rkt" "rep/filter-rep.rkt" "rep/rep-utils.rkt" + "types/convenience.rkt" "types/union.rkt" "types/subtype.rkt" "types/remove-intersect.rkt" "types/resolve.rkt" + "env/type-name-env.rkt") make-env) - (except-in (path-up "types/utils.ss") Dotted) - (only-in (path-up "env/type-environments.ss") lookup current-tvars) - "constraint-structs.ss" - "signatures.ss" + (except-in (path-up "types/utils.rkt") Dotted) + (only-in (path-up "env/type-environments.rkt") lookup current-tvars) + "constraint-structs.rkt" + "signatures.rkt" scheme/match mzlib/etc mzlib/trace diff --git a/collects/typed-scheme/infer/infer.ss b/collects/typed-scheme/infer/infer.rkt similarity index 66% rename from collects/typed-scheme/infer/infer.ss rename to collects/typed-scheme/infer/infer.rkt index 8222f69f..487c5032 100644 --- a/collects/typed-scheme/infer/infer.ss +++ b/collects/typed-scheme/infer/infer.rkt @@ -1,8 +1,8 @@ #lang scheme/base -(require (except-in "../utils/utils.ss" infer)) -(require "infer-unit.ss" "constraints.ss" "dmap.ss" "signatures.ss" - "restrict.ss" "promote-demote.ss" +(require (except-in "../utils/utils.rkt" infer)) +(require "infer-unit.rkt" "constraints.rkt" "dmap.rkt" "signatures.rkt" + "restrict.rkt" "promote-demote.rkt" mzlib/trace (only-in scheme/unit provide-signature-elements define-values/invoke-unit/infer link) diff --git a/collects/typed-scheme/infer/promote-demote.ss b/collects/typed-scheme/infer/promote-demote.rkt similarity index 98% rename from collects/typed-scheme/infer/promote-demote.ss rename to collects/typed-scheme/infer/promote-demote.rkt index fba47ba6..5d2daef8 100644 --- a/collects/typed-scheme/infer/promote-demote.ss +++ b/collects/typed-scheme/infer/promote-demote.rkt @@ -1,9 +1,9 @@ #lang scheme/unit -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require (rep type-rep rep-utils) (types convenience union utils) - "signatures.ss" + "signatures.rkt" scheme/list scheme/match) (import) diff --git a/collects/typed-scheme/infer/restrict.ss b/collects/typed-scheme/infer/restrict.rkt similarity index 95% rename from collects/typed-scheme/infer/restrict.ss rename to collects/typed-scheme/infer/restrict.rkt index d4ef3cd4..6e45ac59 100644 --- a/collects/typed-scheme/infer/restrict.ss +++ b/collects/typed-scheme/infer/restrict.rkt @@ -1,9 +1,9 @@ #lang scheme/unit -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require (rep type-rep) (types utils union subtype remove-intersect resolve) - "signatures.ss" + "signatures.rkt" scheme/match mzlib/trace) (import infer^) diff --git a/collects/typed-scheme/infer/signatures.ss b/collects/typed-scheme/infer/signatures.rkt similarity index 95% rename from collects/typed-scheme/infer/signatures.ss rename to collects/typed-scheme/infer/signatures.rkt index b9b9be12..4dcf72ab 100644 --- a/collects/typed-scheme/infer/signatures.ss +++ b/collects/typed-scheme/infer/signatures.rkt @@ -1,5 +1,5 @@ #lang scheme/base -(require scheme/unit scheme/contract "constraint-structs.ss" "../utils/utils.ss") +(require scheme/unit scheme/contract "constraint-structs.rkt" "../utils/utils.rkt") (require (rep type-rep) (utils unit-utils)) (provide (all-defined-out)) 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 65% rename from collects/typed-scheme/lang/reader.ss rename to collects/typed-scheme/lang/reader.rkt index 0a919940..ef2e9ce6 100644 --- a/collects/typed-scheme/lang/reader.ss +++ b/collects/typed-scheme/lang/reader.rkt @@ -5,4 +5,4 @@ typed-scheme #:read r:read #:read-syntax r:read-syntax -(require (prefix-in r: "../typed-reader.ss")) +(require (prefix-in r: "../typed-reader.rkt")) diff --git a/collects/typed-scheme/language-info.ss b/collects/typed-scheme/language-info.rkt similarity index 100% rename from collects/typed-scheme/language-info.ss rename to collects/typed-scheme/language-info.rkt diff --git a/collects/typed-scheme/main.rkt b/collects/typed-scheme/main.rkt new file mode 100644 index 00000000..a997a7a9 --- /dev/null +++ b/collects/typed-scheme/main.rkt @@ -0,0 +1,21 @@ +#lang s-exp "minimal.rkt" + + + +(providing (libs (except scheme/base #%module-begin #%top-interaction with-handlers number? lambda #%app) + (except "private/prims.rkt") + (except "private/base-types.rkt") + (except "private/base-types-extra.rkt")) + (basics #%module-begin + #%top-interaction + lambda + #%app)) +(require "private/base-env.rkt" + "private/base-special-env.rkt" + "private/base-env-numeric.rkt" + "private/base-env-indexing-old.rkt" + "private/extra-procs.rkt" + (for-syntax "private/base-types-extra.rkt")) +(provide (rename-out [with-handlers: with-handlers] [real? number?]) + (for-syntax (all-from-out "private/base-types-extra.rkt")) + assert with-type) diff --git a/collects/typed-scheme/main.ss b/collects/typed-scheme/main.ss deleted file mode 100644 index 1ce6926e..00000000 --- a/collects/typed-scheme/main.ss +++ /dev/null @@ -1,21 +0,0 @@ -#lang s-exp "minimal.ss" - - - -(providing (libs (except scheme/base #%module-begin #%top-interaction with-handlers number? lambda #%app) - (except "private/prims.ss") - (except "private/base-types.ss") - (except "private/base-types-extra.ss")) - (basics #%module-begin - #%top-interaction - lambda - #%app)) -(require "private/base-env.ss" - "private/base-special-env.ss" - "private/base-env-numeric.ss" - "private/base-env-indexing-old.ss" - "private/extra-procs.ss" - (for-syntax "private/base-types-extra.ss")) -(provide (rename-out [with-handlers: with-handlers] [real? number?]) - (for-syntax (all-from-out "private/base-types-extra.ss")) - assert with-type) 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 96% rename from collects/typed-scheme/no-check.ss rename to collects/typed-scheme/no-check.rkt index 2d4bf8d0..ed542f85 100644 --- a/collects/typed-scheme/no-check.ss +++ b/collects/typed-scheme/no-check.rkt @@ -1,12 +1,12 @@ #lang scheme/base (require - (except-in "private/prims.ss" + (except-in "private/prims.rkt" require/typed require/opaque-type require-typed-struct) (for-syntax scheme/base syntax/parse syntax/struct)) (provide (all-from-out scheme/base) (all-defined-out) - (all-from-out "private/prims.ss")) + (all-from-out "private/prims.rkt")) (define-syntax (require/typed stx) 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 97% rename from collects/typed-scheme/private/annotate-classes.ss rename to collects/typed-scheme/private/annotate-classes.rkt index 0264868d..e9d65a81 100644 --- a/collects/typed-scheme/private/annotate-classes.ss +++ b/collects/typed-scheme/private/annotate-classes.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require syntax/parse "colon.ss" (for-template "colon.ss") "parse-type.ss") +(require syntax/parse "colon.rkt" (for-template "colon.rkt") "parse-type.rkt") (provide (all-defined-out)) (define-splicing-syntax-class annotated-name 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 44587b1c..3fae1971 100644 --- a/collects/typed-scheme/private/base-env-indexing-abs.ss +++ b/collects/typed-scheme/private/base-env-indexing-abs.rkt @@ -1,12 +1,12 @@ #lang scheme (require - "../utils/utils.ss" + "../utils/utils.rkt" scheme/tcp scheme/unsafe/ops (only-in rnrs/lists-6 fold-left) '#%paramz - "extra-procs.ss" + "extra-procs.rkt" (utils tc-utils ) (types union convenience) (only-in '#%kernel [apply kernel:apply]) @@ -112,7 +112,7 @@ [peek-byte (cl->* [->opt [-Input-Port -Nat] (Un -Byte (-val eof))])] - ;; string.ss + ;; string.rkt [real->decimal-string (N [-Nat] . ->opt . -String)] [random (cl-> [(-Nat) -Nat*] [() -Real])] diff --git a/collects/typed-scheme/private/base-env-indexing.ss b/collects/typed-scheme/private/base-env-indexing.rkt similarity index 69% rename from collects/typed-scheme/private/base-env-indexing.ss rename to collects/typed-scheme/private/base-env-indexing.rkt index 57e74fc6..e345ab7e 100644 --- a/collects/typed-scheme/private/base-env-indexing.ss +++ b/collects/typed-scheme/private/base-env-indexing.rkt @@ -1,9 +1,9 @@ #lang scheme (require - (rename-in "../utils/utils.ss" [infer r:infer]) + (rename-in "../utils/utils.rkt" [infer r:infer]) (for-syntax (types abbrev) (env init-envs) (r:infer infer-dummy infer) - "base-env-indexing-abs.ss")) + "base-env-indexing-abs.rkt")) (define-for-syntax e (parameterize ([infer-param infer]) (indexing -Nat))) (begin-for-syntax (initialize-type-env e)) 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 0b58ba23..9274bdfb 100644 --- a/collects/typed-scheme/private/base-env-numeric.ss +++ b/collects/typed-scheme/private/base-env-numeric.rkt @@ -1,4 +1,4 @@ -#lang s-exp "env-lang.ss" +#lang s-exp "env-lang.rkt" (begin (require @@ -7,7 +7,7 @@ scheme/unsafe/ops (only-in rnrs/lists-6 fold-left) '#%paramz - "extra-procs.ss" + "extra-procs.rkt" (only-in '#%kernel [apply kernel:apply]) scheme/promise scheme/system (only-in string-constants/private/only-once maybe-print-message) 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 231f6ea8..7c29a3f3 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.rkt @@ -1,4 +1,4 @@ -#lang s-exp "env-lang.ss" +#lang s-exp "env-lang.rkt" (require scheme/tcp @@ -7,7 +7,7 @@ scheme/fixnum (only-in rnrs/lists-6 fold-left) '#%paramz - "extra-procs.ss" + "extra-procs.rkt" (only-in '#%kernel [apply kernel:apply]) scheme/promise scheme/system (only-in string-constants/private/only-once maybe-print-message) @@ -605,7 +605,7 @@ [symbol=? (Sym Sym . -> . B)] [false? (make-pred-ty (-val #f))] -;; with-stx.ss +;; with-stx.rkt [generate-temporaries ((Un (-Syntax Univ) (-lst Univ)) . -> . (-lst (-Syntax Sym)))] [check-duplicate-identifier ((-lst (-Syntax Sym)) . -> . (-opt (-Syntax Sym)))] 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 4ead72b0..6575c55f 100644 --- a/collects/typed-scheme/private/base-special-env.ss +++ b/collects/typed-scheme/private/base-special-env.rkt @@ -2,8 +2,8 @@ ;; these are libraries providing functions we add types to that are not in scheme/base (require - "extra-procs.ss" - "../utils/utils.ss" + "extra-procs.rkt" + "../utils/utils.rkt" (only-in scheme/list cons? take drop add-between last filter-map) (only-in rnrs/lists-6 fold-left) '#%paramz 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 97% rename from collects/typed-scheme/private/base-types-new.ss rename to collects/typed-scheme/private/base-types-new.rkt index 7e52866c..98d22dec 100644 --- a/collects/typed-scheme/private/base-types-new.ss +++ b/collects/typed-scheme/private/base-types-new.rkt @@ -1,4 +1,4 @@ -#lang s-exp "type-env-lang.ss" +#lang s-exp "type-env-lang.rkt" [Complex -Number] [Number -Number] 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 87% rename from collects/typed-scheme/private/colon.ss rename to collects/typed-scheme/private/colon.rkt index 833d9fd3..fb84c179 100644 --- a/collects/typed-scheme/private/colon.ss +++ b/collects/typed-scheme/private/colon.rkt @@ -1,10 +1,10 @@ #lang scheme/base -(require (for-syntax scheme/base syntax/parse "internal.ss") - "../typecheck/internal-forms.ss" - (prefix-in t: "base-types-extra.ss") - (for-template (prefix-in t: "base-types-extra.ss")) - (for-syntax (prefix-in t: "base-types-extra.ss"))) +(require (for-syntax scheme/base syntax/parse "internal.rkt") + "../typecheck/internal-forms.rkt" + (prefix-in t: "base-types-extra.rkt") + (for-template (prefix-in t: "base-types-extra.rkt")) + (for-syntax (prefix-in t: "base-types-extra.rkt"))) (provide :) diff --git a/collects/typed-scheme/private/env-lang.ss b/collects/typed-scheme/private/env-lang.rkt similarity index 95% rename from collects/typed-scheme/private/env-lang.ss rename to collects/typed-scheme/private/env-lang.rkt index c1cd3f3b..1f306b17 100644 --- a/collects/typed-scheme/private/env-lang.ss +++ b/collects/typed-scheme/private/env-lang.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require (rename-in "../utils/utils.ss" [infer r:infer])) +(require (rename-in "../utils/utils.rkt" [infer r:infer])) (require (for-syntax (utils tc-utils) (env init-envs) 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 94% rename from collects/typed-scheme/private/optimize.ss rename to collects/typed-scheme/private/optimize.rkt index ca7db62a..b47064a4 100644 --- a/collects/typed-scheme/private/optimize.ss +++ b/collects/typed-scheme/private/optimize.rkt @@ -1,7 +1,7 @@ #lang scheme/base (require syntax/parse (for-template scheme/base scheme/unsafe/ops) - "../utils/utils.ss" unstable/match scheme/match unstable/syntax + "../utils/utils.rkt" unstable/match scheme/match unstable/syntax (rep type-rep) (types abbrev type-table utils)) (provide optimize) diff --git a/collects/typed-scheme/private/parse-type.ss b/collects/typed-scheme/private/parse-type.rkt similarity index 98% rename from collects/typed-scheme/private/parse-type.ss rename to collects/typed-scheme/private/parse-type.rkt index e11a5afc..2553d353 100644 --- a/collects/typed-scheme/private/parse-type.ss +++ b/collects/typed-scheme/private/parse-type.rkt @@ -1,16 +1,16 @@ #lang scheme/base -(require "../utils/utils.ss" +(require "../utils/utils.rkt" (except-in (rep type-rep) make-arr) (rename-in (types convenience union utils) [make-arr* make-arr]) (utils tc-utils stxclass-util) syntax/stx (prefix-in c: scheme/contract) syntax/parse (env type-environments type-name-env type-alias-env lexical-env) - (prefix-in t: (combine-in "base-types-extra.ss" "base-types.ss")) (only-in "colon.ss" :) + (prefix-in t: (combine-in "base-types-extra.rkt" "base-types.rkt")) (only-in "colon.rkt" :) scheme/match - (for-template scheme/base "base-types-extra.ss" "colon.ss") - (for-template (prefix-in t: "base-types-extra.ss"))) + (for-template scheme/base "base-types-extra.rkt" "colon.rkt") + (for-template (prefix-in t: "base-types-extra.rkt"))) (define-struct poly (name vars) #:prefab) diff --git a/collects/typed-scheme/private/prims.ss b/collects/typed-scheme/private/prims.rkt similarity index 98% rename from collects/typed-scheme/private/prims.ss rename to collects/typed-scheme/private/prims.rkt index 674dce39..2343c4dc 100644 --- a/collects/typed-scheme/private/prims.ss +++ b/collects/typed-scheme/private/prims.rkt @@ -25,30 +25,30 @@ This file defines two sorts of primitives. All of them are provided into any mod [lambda: λ:] [define-typed-struct/exec define-struct/exec:])) -(require "../utils/utils.ss" +(require "../utils/utils.rkt" (for-syntax syntax/parse syntax/private/util scheme/base (rep type-rep) mzlib/match - "parse-type.ss" "annotate-classes.ss" + "parse-type.rkt" "annotate-classes.rkt" syntax/struct syntax/stx scheme/struct-info (private internal) (except-in (utils utils tc-utils)) (env type-name-env) - "type-contract.ss")) + "type-contract.rkt")) (require (utils require-contract) - "colon.ss" + "colon.rkt" (typecheck internal-forms) (except-in mzlib/contract ->) (only-in mzlib/contract [-> c->]) mzlib/struct - "base-types.ss" - "base-types-extra.ss") + "base-types.rkt" + "base-types-extra.rkt") (define-for-syntax (ignore stx) (syntax-property stx 'typechecker:ignore #t)) diff --git a/collects/typed-scheme/private/type-annotation.ss b/collects/typed-scheme/private/type-annotation.rkt similarity index 99% rename from collects/typed-scheme/private/type-annotation.ss rename to collects/typed-scheme/private/type-annotation.rkt index 0564ca5b..fd0b897b 100644 --- a/collects/typed-scheme/private/type-annotation.ss +++ b/collects/typed-scheme/private/type-annotation.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss" +(require "../utils/utils.rkt" (rep type-rep) (utils tc-utils) (env type-env) diff --git a/collects/typed-scheme/private/type-contract.ss b/collects/typed-scheme/private/type-contract.rkt similarity index 99% rename from collects/typed-scheme/private/type-contract.ss rename to collects/typed-scheme/private/type-contract.rkt index 8c568284..a8f395b5 100644 --- a/collects/typed-scheme/private/type-contract.ss +++ b/collects/typed-scheme/private/type-contract.rkt @@ -3,7 +3,7 @@ (provide type->contract define/fixup-contract? change-contract-fixups) (require - "../utils/utils.ss" + "../utils/utils.rkt" syntax/parse (rep type-rep filter-rep object-rep) (typecheck internal-forms) diff --git a/collects/typed-scheme/private/type-env-lang.ss b/collects/typed-scheme/private/type-env-lang.rkt similarity index 97% rename from collects/typed-scheme/private/type-env-lang.ss rename to collects/typed-scheme/private/type-env-lang.rkt index 4d74faf3..3892a583 100644 --- a/collects/typed-scheme/private/type-env-lang.ss +++ b/collects/typed-scheme/private/type-env-lang.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require (for-syntax (env init-envs) scheme/base diff --git a/collects/typed-scheme/private/with-types.ss b/collects/typed-scheme/private/with-types.rkt similarity index 88% rename from collects/typed-scheme/private/with-types.ss rename to collects/typed-scheme/private/with-types.rkt index 9e0c85dd..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" + "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 97% rename from collects/typed-scheme/rep/filter-rep.ss rename to collects/typed-scheme/rep/filter-rep.rkt index 0ac34fc4..0040f414 100644 --- a/collects/typed-scheme/rep/filter-rep.ss +++ b/collects/typed-scheme/rep/filter-rep.rkt @@ -1,7 +1,7 @@ #lang scheme/base (require scheme/match scheme/contract) -(require "rep-utils.ss" "free-variance.ss") +(require "rep-utils.rkt" "free-variance.rkt") (define Filter/c (flat-named-contract diff --git a/collects/typed-scheme/rep/free-variance.ss b/collects/typed-scheme/rep/free-variance.rkt similarity index 96% rename from collects/typed-scheme/rep/free-variance.ss rename to collects/typed-scheme/rep/free-variance.rkt index c42f9c6b..41fc238c 100644 --- a/collects/typed-scheme/rep/free-variance.ss +++ b/collects/typed-scheme/rep/free-variance.rkt @@ -1,5 +1,5 @@ #lang scheme/base -(require "../utils/utils.ss" +(require "../utils/utils.rkt" (for-syntax scheme/base) (utils tc-utils) scheme/list mzlib/etc scheme/contract) @@ -9,7 +9,7 @@ fix-bound make-invariant variance?) ;; this file contains support for calculating the free variables/indexes of types -;; actual computation is done in rep-utils.ss and type-rep.ss +;; actual computation is done in rep-utils.rkt and type-rep.rkt (define-values (Covariant Contravariant Invariant Constant Dotted) (let () (define-struct Variance () #:inspector #f) 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 91% rename from collects/typed-scheme/rep/object-rep.ss rename to collects/typed-scheme/rep/object-rep.rkt index 121b4a84..e36c3a5a 100644 --- a/collects/typed-scheme/rep/object-rep.ss +++ b/collects/typed-scheme/rep/object-rep.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require scheme/match scheme/contract "rep-utils.ss" "free-variance.ss" "filter-rep.ss") +(require scheme/match scheme/contract "rep-utils.rkt" "free-variance.rkt" "filter-rep.rkt") (provide object-equal?) (dpe CarPE () [#:fold-rhs #:base]) diff --git a/collects/typed-scheme/rep/rep-utils.ss b/collects/typed-scheme/rep/rep-utils.rkt similarity index 99% rename from collects/typed-scheme/rep/rep-utils.ss rename to collects/typed-scheme/rep/rep-utils.rkt index 371d03bf..3e3cc464 100644 --- a/collects/typed-scheme/rep/rep-utils.ss +++ b/collects/typed-scheme/rep/rep-utils.rkt @@ -1,11 +1,11 @@ #lang scheme/base -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require mzlib/struct scheme/match syntax/boundmap - "free-variance.ss" - "interning.ss" + "free-variance.rkt" + "interning.rkt" unstable/syntax unstable/match mzlib/etc scheme/contract diff --git a/collects/typed-scheme/rep/type-rep.ss b/collects/typed-scheme/rep/type-rep.rkt similarity index 99% rename from collects/typed-scheme/rep/type-rep.ss rename to collects/typed-scheme/rep/type-rep.rkt index fb1e45c8..51474cbf 100644 --- a/collects/typed-scheme/rep/type-rep.ss +++ b/collects/typed-scheme/rep/type-rep.rkt @@ -1,8 +1,8 @@ #lang scheme/base -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require (utils tc-utils) - "rep-utils.ss" "object-rep.ss" "filter-rep.ss" "free-variance.ss" + "rep-utils.rkt" "object-rep.rkt" "filter-rep.rkt" "free-variance.rkt" mzlib/trace scheme/match scheme/contract unstable/debug (for-syntax scheme/base syntax/parse)) @@ -23,7 +23,7 @@ ;; Name = Symbol -;; Type is defined in rep-utils.ss +;; Type is defined in rep-utils.rkt ;; t must be a Type (dt Scope ([t (or/c Type/c Scope?)]) [#:key (Type-key t)]) diff --git a/collects/typed-scheme/scribblings/begin.scrbl b/collects/typed-scheme/scribblings/begin.scrbl index 011f28aa..053b91d2 100644 --- a/collects/typed-scheme/scribblings/begin.scrbl +++ b/collects/typed-scheme/scribblings/begin.scrbl @@ -1,7 +1,7 @@ #lang scribble/manual @begin[(require (for-label (only-meta-in 0 typed/scheme)) scribble/eval - "utils.ss" (only-in "quick.scrbl" typed-mod))] + "utils.rkt" (only-in "quick.scrbl" typed-mod))] @(define the-eval (make-base-eval)) @(the-eval '(require typed/scheme)) diff --git a/collects/typed-scheme/scribblings/more.scrbl b/collects/typed-scheme/scribblings/more.scrbl index 77eebf1c..b37d045c 100644 --- a/collects/typed-scheme/scribblings/more.scrbl +++ b/collects/typed-scheme/scribblings/more.scrbl @@ -1,6 +1,6 @@ #lang scribble/manual -@begin[(require "utils.ss" +@begin[(require "utils.rkt" scribble/core scribble/eval (for-label (only-meta-in 0 typed/scheme) mzlib/etc))] diff --git a/collects/typed-scheme/scribblings/quick.scrbl b/collects/typed-scheme/scribblings/quick.scrbl index b0b7c25c..46cc1609 100644 --- a/collects/typed-scheme/scribblings/quick.scrbl +++ b/collects/typed-scheme/scribblings/quick.scrbl @@ -1,6 +1,6 @@ #lang scribble/manual -@(require "utils.ss" (for-label (only-meta-in 0 typed/scheme))) +@(require "utils.rkt" (for-label (only-meta-in 0 typed/scheme))) @(provide typed-mod) @title[#:tag "quick"]{Quick Start} diff --git a/collects/typed-scheme/scribblings/ts-guide.scrbl b/collects/typed-scheme/scribblings/ts-guide.scrbl index 0d69e20c..7425104a 100644 --- a/collects/typed-scheme/scribblings/ts-guide.scrbl +++ b/collects/typed-scheme/scribblings/ts-guide.scrbl @@ -1,6 +1,6 @@ #lang scribble/manual -@begin[(require "utils.ss" (for-label (only-meta-in 0 typed/scheme)))] +@begin[(require "utils.rkt" (for-label (only-meta-in 0 typed/scheme)))] @title[#:tag "top"]{@bold{Typed Scheme}: Scheme with Static Types} diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl index 802a614a..b626233b 100644 --- a/collects/typed-scheme/scribblings/ts-reference.scrbl +++ b/collects/typed-scheme/scribblings/ts-reference.scrbl @@ -1,6 +1,6 @@ #lang scribble/manual -@begin[(require "utils.ss" scribble/eval +@begin[(require "utils.rkt" scribble/eval scheme/sandbox) (require (for-label (only-meta-in 0 typed/scheme) scheme/list srfi/14 diff --git a/collects/typed-scheme/scribblings/types.scrbl b/collects/typed-scheme/scribblings/types.scrbl index 24005507..8f530f57 100644 --- a/collects/typed-scheme/scribblings/types.scrbl +++ b/collects/typed-scheme/scribblings/types.scrbl @@ -1,6 +1,6 @@ #lang scribble/manual -@begin[(require "utils.ss" +@begin[(require "utils.rkt" scribble/core scribble/eval (for-label (only-meta-in 0 typed/scheme) mzlib/etc))] 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/scribblings/varargs.scrbl b/collects/typed-scheme/scribblings/varargs.scrbl index 61b52b65..a893a2f8 100644 --- a/collects/typed-scheme/scribblings/varargs.scrbl +++ b/collects/typed-scheme/scribblings/varargs.scrbl @@ -1,6 +1,6 @@ #lang scribble/manual -@begin[(require "utils.ss" (for-label typed/scheme/base))] +@begin[(require "utils.rkt" (for-label typed/scheme/base))] @title[#:tag "varargs"]{Variable-Arity Functions: Programming with Rest Arguments} diff --git a/collects/typed-scheme/typecheck/check-subforms-unit.ss b/collects/typed-scheme/typecheck/check-subforms-unit.rkt similarity index 97% rename from collects/typed-scheme/typecheck/check-subforms-unit.ss rename to collects/typed-scheme/typecheck/check-subforms-unit.rkt index 945df04d..6196c0b9 100644 --- a/collects/typed-scheme/typecheck/check-subforms-unit.ss +++ b/collects/typed-scheme/typecheck/check-subforms-unit.rkt @@ -1,10 +1,10 @@ #lang scheme/unit -(require "../utils/utils.ss" +(require "../utils/utils.rkt" syntax/kerncase syntax/parse scheme/match unstable/debug - "signatures.ss" "tc-metafunctions.ss" + "signatures.rkt" "tc-metafunctions.rkt" (types utils convenience union subtype) (utils tc-utils) (rep type-rep)) diff --git a/collects/typed-scheme/typecheck/def-binding.ss b/collects/typed-scheme/typecheck/def-binding.rkt similarity index 89% rename from collects/typed-scheme/typecheck/def-binding.ss rename to collects/typed-scheme/typecheck/def-binding.rkt index e8c976e0..f39124de 100644 --- a/collects/typed-scheme/typecheck/def-binding.ss +++ b/collects/typed-scheme/typecheck/def-binding.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require scheme/contract "../utils/utils.ss" scheme/struct-info) +(require scheme/contract "../utils/utils.rkt" scheme/struct-info) (define-struct binding (name) #:transparent) (define-struct (def-binding binding) (ty) #:transparent) diff --git a/collects/typed-scheme/typecheck/find-annotation.ss b/collects/typed-scheme/typecheck/find-annotation.rkt similarity index 98% rename from collects/typed-scheme/typecheck/find-annotation.ss rename to collects/typed-scheme/typecheck/find-annotation.rkt index 0c85a81a..ceb9b79a 100644 --- a/collects/typed-scheme/typecheck/find-annotation.ss +++ b/collects/typed-scheme/typecheck/find-annotation.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss" syntax/parse +(require "../utils/utils.rkt" syntax/parse scheme/contract (rep type-rep) (env lexical-env) 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 88eb1126..504cfb1c 100644 --- a/collects/typed-scheme/typecheck/provide-handling.ss +++ b/collects/typed-scheme/typecheck/provide-handling.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss" +(require "../utils/utils.rkt" (only-in srfi/1/list s:member) syntax/kerncase syntax/boundmap (env type-name-env type-alias-env) @@ -12,7 +12,7 @@ racket/contract/private/provide unstable/list unstable/debug unstable/syntax scheme/struct-info scheme/match - "def-binding.ss" syntax/parse) + "def-binding.rkt" syntax/parse) (require (for-template scheme/base scheme/contract)) diff --git a/collects/typed-scheme/typecheck/signatures.ss b/collects/typed-scheme/typecheck/signatures.rkt similarity index 98% rename from collects/typed-scheme/typecheck/signatures.ss rename to collects/typed-scheme/typecheck/signatures.rkt index a1031cf6..15ff49be 100644 --- a/collects/typed-scheme/typecheck/signatures.ss +++ b/collects/typed-scheme/typecheck/signatures.rkt @@ -1,6 +1,6 @@ #lang scheme/base (require scheme/unit scheme/contract - "../utils/utils.ss" + "../utils/utils.rkt" (rep type-rep) (utils unit-utils) (types utils)) diff --git a/collects/typed-scheme/typecheck/tc-app-helper.ss b/collects/typed-scheme/typecheck/tc-app-helper.rkt similarity index 98% rename from collects/typed-scheme/typecheck/tc-app-helper.ss rename to collects/typed-scheme/typecheck/tc-app-helper.rkt index 32efdc7d..a2c7457c 100644 --- a/collects/typed-scheme/typecheck/tc-app-helper.ss +++ b/collects/typed-scheme/typecheck/tc-app-helper.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss" scheme/match unstable/list +(require "../utils/utils.rkt" scheme/match unstable/list (utils tc-utils) (rep type-rep) (types utils union)) (provide (all-defined-out)) 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 32081060..47c7b2c2 100644 --- a/collects/typed-scheme/typecheck/tc-app.ss +++ b/collects/typed-scheme/typecheck/tc-app.rkt @@ -1,9 +1,9 @@ #lang scheme/unit -(require (rename-in "../utils/utils.ss" [infer r:infer]) - "signatures.ss" "tc-metafunctions.ss" - "tc-app-helper.ss" "find-annotation.ss" - "tc-subst.ss" +(require (rename-in "../utils/utils.rkt" [infer r:infer]) + "signatures.rkt" "tc-metafunctions.rkt" + "tc-app-helper.rkt" "find-annotation.rkt" + "tc-subst.rkt" syntax/parse scheme/match mzlib/trace scheme/list unstable/sequence ;; fixme - don't need to be bound in this phase - only to make syntax/parse happy @@ -21,7 +21,7 @@ (r:infer infer) (for-template (only-in '#%kernel [apply k:apply]) - "internal-forms.ss" scheme/base scheme/bool + "internal-forms.rkt" scheme/base scheme/bool (only-in racket/private/class-internal make-object do-make-object))) (import tc-expr^ tc-lambda^ tc-dots^ tc-let^) diff --git a/collects/typed-scheme/typecheck/tc-envops.ss b/collects/typed-scheme/typecheck/tc-envops.rkt similarity index 96% rename from collects/typed-scheme/typecheck/tc-envops.ss rename to collects/typed-scheme/typecheck/tc-envops.rkt index b624179e..66a31779 100644 --- a/collects/typed-scheme/typecheck/tc-envops.ss +++ b/collects/typed-scheme/typecheck/tc-envops.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require (rename-in "../utils/utils.ss" [infer infer-in])) +(require (rename-in "../utils/utils.rkt" [infer infer-in])) (require (rename-in (types subtype convenience remove-intersect union) [-> -->] [->* -->*] 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 bf0f3c40..975c2e7b 100644 --- a/collects/typed-scheme/typecheck/tc-expr-unit.ss +++ b/collects/typed-scheme/typecheck/tc-expr-unit.rkt @@ -1,10 +1,10 @@ #lang scheme/unit -(require (rename-in "../utils/utils.ss" [private private-in])) +(require (rename-in "../utils/utils.rkt" [private private-in])) (require syntax/kerncase mzlib/trace scheme/match (prefix-in - scheme/contract) - "signatures.ss" "tc-envops.ss" "tc-metafunctions.ss" "tc-subst.ss" + "signatures.rkt" "tc-envops.rkt" "tc-metafunctions.rkt" "tc-subst.rkt" (types utils convenience union subtype remove-intersect type-table) (private-in parse-type type-annotation) (rep type-rep) diff --git a/collects/typed-scheme/typecheck/tc-if.ss b/collects/typed-scheme/typecheck/tc-if.rkt similarity index 98% rename from collects/typed-scheme/typecheck/tc-if.ss rename to collects/typed-scheme/typecheck/tc-if.rkt index 962631f4..5fedc8e2 100644 --- a/collects/typed-scheme/typecheck/tc-if.ss +++ b/collects/typed-scheme/typecheck/tc-if.rkt @@ -1,8 +1,8 @@ #lang scheme/unit -(require (rename-in "../utils/utils.ss" [infer r:infer])) -(require "signatures.ss" +(require (rename-in "../utils/utils.rkt" [infer r:infer])) +(require "signatures.rkt" (rep type-rep filter-rep object-rep) (rename-in (types convenience subtype union utils comparison remove-intersect abbrev filter-ops) [remove *remove]) diff --git a/collects/typed-scheme/typecheck/tc-lambda-unit.ss b/collects/typed-scheme/typecheck/tc-lambda-unit.rkt similarity index 98% rename from collects/typed-scheme/typecheck/tc-lambda-unit.ss rename to collects/typed-scheme/typecheck/tc-lambda-unit.rkt index 723a7fa6..27763ea6 100644 --- a/collects/typed-scheme/typecheck/tc-lambda-unit.ss +++ b/collects/typed-scheme/typecheck/tc-lambda-unit.rkt @@ -1,9 +1,9 @@ #lang scheme/unit -(require (rename-in "../utils/utils.ss" [infer r:infer]) - "signatures.ss" - "tc-metafunctions.ss" - "tc-subst.ss" +(require (rename-in "../utils/utils.rkt" [infer r:infer]) + "signatures.rkt" + "tc-metafunctions.rkt" + "tc-subst.rkt" mzlib/trace scheme/list syntax/private/util syntax/stx @@ -17,7 +17,7 @@ (utils tc-utils) unstable/debug scheme/match) -(require (for-template scheme/base "internal-forms.ss")) +(require (for-template scheme/base "internal-forms.rkt")) (import tc-expr^) (export tc-lambda^) diff --git a/collects/typed-scheme/typecheck/tc-let-unit.ss b/collects/typed-scheme/typecheck/tc-let-unit.rkt similarity index 97% rename from collects/typed-scheme/typecheck/tc-let-unit.ss rename to collects/typed-scheme/typecheck/tc-let-unit.rkt index dfc3211b..2dfc488a 100644 --- a/collects/typed-scheme/typecheck/tc-let-unit.ss +++ b/collects/typed-scheme/typecheck/tc-let-unit.rkt @@ -1,7 +1,7 @@ #lang scheme/unit -(require (rename-in "../utils/utils.ss" [infer r:infer])) -(require "signatures.ss" "tc-metafunctions.ss" "tc-subst.ss" +(require (rename-in "../utils/utils.rkt" [infer r:infer])) +(require "signatures.rkt" "tc-metafunctions.rkt" "tc-subst.rkt" (types utils convenience) (private type-annotation parse-type) (env lexical-env type-alias-env type-env type-environments) @@ -13,7 +13,7 @@ syntax/kerncase syntax/parse (for-template scheme/base - "internal-forms.ss")) + "internal-forms.rkt")) (require (only-in srfi/1/list s:member)) diff --git a/collects/typed-scheme/typecheck/tc-metafunctions.ss b/collects/typed-scheme/typecheck/tc-metafunctions.rkt similarity index 99% rename from collects/typed-scheme/typecheck/tc-metafunctions.ss rename to collects/typed-scheme/typecheck/tc-metafunctions.rkt index 5eef5691..88af47f4 100644 --- a/collects/typed-scheme/typecheck/tc-metafunctions.ss +++ b/collects/typed-scheme/typecheck/tc-metafunctions.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require (rename-in (types subtype convenience remove-intersect union utils filter-ops) [-> -->] [->* -->*] diff --git a/collects/typed-scheme/typecheck/tc-structs.ss b/collects/typed-scheme/typecheck/tc-structs.rkt similarity index 99% rename from collects/typed-scheme/typecheck/tc-structs.ss rename to collects/typed-scheme/typecheck/tc-structs.rkt index 17713d0e..ee54fdc3 100644 --- a/collects/typed-scheme/typecheck/tc-structs.ss +++ b/collects/typed-scheme/typecheck/tc-structs.rkt @@ -1,12 +1,12 @@ #lang scheme/base -(require "../utils/utils.ss" +(require "../utils/utils.rkt" (rep type-rep) (private parse-type) (types convenience utils union resolve abbrev) (env type-env type-environments type-name-env) (utils tc-utils) - "def-binding.ss" + "def-binding.rkt" syntax/kerncase syntax/struct mzlib/trace @@ -15,7 +15,7 @@ (require (for-template scheme/base - "internal-forms.ss")) + "internal-forms.rkt")) (provide tc/struct tc/poly-struct names-of-struct tc/builtin-struct d-s) diff --git a/collects/typed-scheme/typecheck/tc-subst.ss b/collects/typed-scheme/typecheck/tc-subst.rkt similarity index 98% rename from collects/typed-scheme/typecheck/tc-subst.ss rename to collects/typed-scheme/typecheck/tc-subst.rkt index 0613dda2..22947883 100644 --- a/collects/typed-scheme/typecheck/tc-subst.ss +++ b/collects/typed-scheme/typecheck/tc-subst.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require (rename-in (types subtype convenience remove-intersect union utils filter-ops) [-> -->] [->* -->*] @@ -8,7 +8,7 @@ (rep type-rep filter-rep rep-utils) scheme/list scheme/contract scheme/match unstable/match unstable/debug (for-syntax scheme/base) - "tc-metafunctions.ss") + "tc-metafunctions.rkt") ;(provide (all-defined-out)) diff --git a/collects/typed-scheme/typecheck/tc-toplevel.ss b/collects/typed-scheme/typecheck/tc-toplevel.rkt similarity index 98% rename from collects/typed-scheme/typecheck/tc-toplevel.ss rename to collects/typed-scheme/typecheck/tc-toplevel.rkt index fac22e91..169f118e 100644 --- a/collects/typed-scheme/typecheck/tc-toplevel.ss +++ b/collects/typed-scheme/typecheck/tc-toplevel.rkt @@ -1,25 +1,25 @@ #lang scheme/unit -(require (rename-in "../utils/utils.ss" [infer r:infer])) +(require (rename-in "../utils/utils.rkt" [infer r:infer])) (require syntax/kerncase unstable/list unstable/syntax syntax/parse mzlib/etc scheme/match - "signatures.ss" - "tc-structs.ss" + "signatures.rkt" + "tc-structs.rkt" ;; to appease syntax-parse - "internal-forms.ss" + "internal-forms.rkt" (rep type-rep) (types utils convenience) (private parse-type type-annotation type-contract) (env type-env init-envs type-name-env type-alias-env lexical-env) unstable/mutated-vars (utils tc-utils) - "provide-handling.ss" - "def-binding.ss" + "provide-handling.rkt" + "def-binding.rkt" (for-template - "internal-forms.ss" + "internal-forms.rkt" unstable/location mzlib/contract scheme/base)) diff --git a/collects/typed-scheme/typecheck/typechecker.ss b/collects/typed-scheme/typecheck/typechecker.rkt similarity index 61% rename from collects/typed-scheme/typecheck/typechecker.ss rename to collects/typed-scheme/typecheck/typechecker.rkt index 4c186cd5..13da5f36 100644 --- a/collects/typed-scheme/typecheck/typechecker.ss +++ b/collects/typed-scheme/typecheck/typechecker.rkt @@ -1,15 +1,15 @@ #lang scheme/base -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require (utils unit-utils) mzlib/trace (only-in scheme/unit provide-signature-elements define-values/invoke-unit/infer link) - "signatures.ss" "tc-toplevel.ss" - "tc-if.ss" "tc-lambda-unit.ss" "tc-app.ss" - "tc-let-unit.ss" "tc-dots-unit.ss" - "tc-expr-unit.ss" "check-subforms-unit.ss") + "signatures.rkt" "tc-toplevel.rkt" + "tc-if.rkt" "tc-lambda-unit.rkt" "tc-app.rkt" + "tc-let-unit.rkt" "tc-dots-unit.rkt" + "tc-expr-unit.rkt" "check-subforms-unit.rkt") (provide-signature-elements typechecker^ tc-expr^) 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 99% rename from collects/typed-scheme/typed-scheme.ss rename to collects/typed-scheme/typed-scheme.rkt index 70c53def..ec55853e 100644 --- a/collects/typed-scheme/typed-scheme.ss +++ b/collects/typed-scheme/typed-scheme.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require (rename-in "utils/utils.ss" [infer r:infer])) +(require (rename-in "utils/utils.rkt" [infer r:infer])) (require (private base-types with-types) (for-syntax diff --git a/collects/typed-scheme/types/abbrev.ss b/collects/typed-scheme/types/abbrev.rkt similarity index 99% rename from collects/typed-scheme/types/abbrev.ss rename to collects/typed-scheme/types/abbrev.rkt index 06de85c3..7797a0fc 100644 --- a/collects/typed-scheme/types/abbrev.ss +++ b/collects/typed-scheme/types/abbrev.rkt @@ -1,9 +1,9 @@ #lang scheme -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require (rep type-rep object-rep filter-rep rep-utils) - "printer.ss" "utils.ss" + "printer.rkt" "utils.rkt" (utils tc-utils) scheme/list scheme/match diff --git a/collects/typed-scheme/types/filter-ops.ss b/collects/typed-scheme/types/filter-ops.rkt similarity index 98% rename from collects/typed-scheme/types/filter-ops.ss rename to collects/typed-scheme/types/filter-ops.rkt index 72aa0812..2e677929 100644 --- a/collects/typed-scheme/types/filter-ops.ss +++ b/collects/typed-scheme/types/filter-ops.rkt @@ -1,9 +1,9 @@ #lang scheme/base -(require "../utils/utils.ss" +(require "../utils/utils.rkt" (rep type-rep filter-rep object-rep rep-utils) (utils tc-utils) (only-in (infer infer) restrict) - "abbrev.ss" (only-in scheme/contract current-blame-format [-> -->] listof) + "abbrev.rkt" (only-in scheme/contract current-blame-format [-> -->] listof) (types comparison printer union subtype utils remove-intersect) scheme/list scheme/match scheme/promise (for-syntax syntax/parse scheme/base) diff --git a/collects/typed-scheme/types/printer.ss b/collects/typed-scheme/types/printer.rkt similarity index 99% rename from collects/typed-scheme/types/printer.ss rename to collects/typed-scheme/types/printer.rkt index dbc9b843..6982be45 100644 --- a/collects/typed-scheme/types/printer.ss +++ b/collects/typed-scheme/types/printer.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require (rep type-rep filter-rep object-rep rep-utils) (utils tc-utils) scheme/match) diff --git a/collects/typed-scheme/types/remove-intersect.ss b/collects/typed-scheme/types/remove-intersect.rkt similarity index 99% rename from collects/typed-scheme/types/remove-intersect.ss rename to collects/typed-scheme/types/remove-intersect.rkt index cbb0e55b..6f21b58e 100644 --- a/collects/typed-scheme/types/remove-intersect.ss +++ b/collects/typed-scheme/types/remove-intersect.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss" +(require "../utils/utils.rkt" (rep type-rep rep-utils) (types union subtype resolve convenience utils) scheme/match mzlib/trace unstable/debug) diff --git a/collects/typed-scheme/types/resolve.ss b/collects/typed-scheme/types/resolve.rkt similarity index 98% rename from collects/typed-scheme/types/resolve.ss rename to collects/typed-scheme/types/resolve.rkt index d2baa705..4a30c813 100644 --- a/collects/typed-scheme/types/resolve.ss +++ b/collects/typed-scheme/types/resolve.rkt @@ -1,5 +1,5 @@ #lang scheme/base -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require (rep type-rep) (env type-name-env) diff --git a/collects/typed-scheme/types/subtype.ss b/collects/typed-scheme/types/subtype.rkt similarity index 99% rename from collects/typed-scheme/types/subtype.ss rename to collects/typed-scheme/types/subtype.rkt index a5d084f2..c38cf3f8 100644 --- a/collects/typed-scheme/types/subtype.ss +++ b/collects/typed-scheme/types/subtype.rkt @@ -1,5 +1,5 @@ #lang scheme/base -(require "../utils/utils.ss" +(require "../utils/utils.rkt" (rep type-rep filter-rep object-rep rep-utils) (utils tc-utils) (types utils comparison resolve abbrev) diff --git a/collects/typed-scheme/types/type-table.ss b/collects/typed-scheme/types/type-table.rkt similarity index 67% rename from collects/typed-scheme/types/type-table.ss rename to collects/typed-scheme/types/type-table.rkt index 356e7a5c..a8c17fbf 100644 --- a/collects/typed-scheme/types/type-table.ss +++ b/collects/typed-scheme/types/type-table.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require unstable/debug "../utils/utils.ss" (rep type-rep) (only-in (types abbrev utils) tc-results?) scheme/contract) +(require unstable/debug "../utils/utils.rkt" (rep type-rep) (only-in (types abbrev utils) tc-results?) scheme/contract) (define table (make-hasheq)) diff --git a/collects/typed-scheme/types/union.ss b/collects/typed-scheme/types/union.rkt similarity index 97% rename from collects/typed-scheme/types/union.ss rename to collects/typed-scheme/types/union.rkt index 488d715f..4452a8ec 100644 --- a/collects/typed-scheme/types/union.ss +++ b/collects/typed-scheme/types/union.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require (rep type-rep rep-utils) (utils tc-utils) diff --git a/collects/typed-scheme/types/utils.ss b/collects/typed-scheme/types/utils.rkt similarity index 99% rename from collects/typed-scheme/types/utils.ss rename to collects/typed-scheme/types/utils.rkt index 95c07978..68d6452c 100644 --- a/collects/typed-scheme/types/utils.ss +++ b/collects/typed-scheme/types/utils.rkt @@ -1,6 +1,6 @@ #lang scheme/base -(require "../utils/utils.ss") +(require "../utils/utils.rkt") (require (rep type-rep filter-rep object-rep rep-utils) (utils tc-utils) 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 94% rename from collects/typed-scheme/utils/require-contract.ss rename to collects/typed-scheme/utils/require-contract.rkt index f2bc255b..3c43b7e7 100644 --- a/collects/typed-scheme/utils/require-contract.ss +++ b/collects/typed-scheme/utils/require-contract.rkt @@ -5,8 +5,8 @@ (for-syntax scheme/base syntax/kerncase syntax/parse - "../utils/tc-utils.ss" - (prefix-in tr: "../private/typed-renaming.ss"))) + "../utils/tc-utils.rkt" + (prefix-in tr: "../private/typed-renaming.rkt"))) (provide require/contract define-ignored) 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 99% rename from collects/typed-scheme/utils/tc-utils.ss rename to collects/typed-scheme/utils/tc-utils.rkt index 2ee33523..ed8da211 100644 --- a/collects/typed-scheme/utils/tc-utils.ss +++ b/collects/typed-scheme/utils/tc-utils.rkt @@ -6,8 +6,8 @@ don't depend on any other portion of the system |# (provide (all-defined-out)) -(require "syntax-traversal.ss" - "utils.ss" +(require "syntax-traversal.rkt" + "utils.rkt" syntax/parse (for-syntax scheme/base syntax/parse) scheme/match unstable/debug (for-syntax unstable/syntax)) diff --git a/collects/typed-scheme/utils/utils.ss b/collects/typed-scheme/utils/utils.rkt similarity index 98% rename from collects/typed-scheme/utils/utils.ss rename to collects/typed-scheme/utils/utils.rkt index 376bc954..d0df18dd 100644 --- a/collects/typed-scheme/utils/utils.ss +++ b/collects/typed-scheme/utils/utils.rkt @@ -46,7 +46,7 @@ at least theoretically. (string-join (list "typed-scheme" (symbol->string (syntax-e #'nm)) - (string-append (symbol->string (syntax-e id)) ".ss")) + (string-append (symbol->string (syntax-e id)) ".rkt")) "/") id id)) id id)) @@ -67,7 +67,7 @@ at least theoretically. (string-join (list "typed-scheme" (symbol->string (syntax-e #'nm)) - (string-append (symbol->string (syntax-e id)) ".ss")) + (string-append (symbol->string (syntax-e id)) ".rkt")) "/") id id)))) (syntax->list #'(id ...)))]) 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 96% rename from collects/typed/framework/framework.ss rename to collects/typed/framework/framework.rkt index ee624fbc..f5341ed5 100644 --- a/collects/typed/framework/framework.ss +++ b/collects/typed/framework/framework.rkt @@ -35,7 +35,7 @@ ((Instance Horizontal-Panel%) ((Instance Button%) (Instance Event%) -> Void) ((Instance Button%) (Instance Event%) -> Void) -> (values Any Any))]) (require/typed/provide "prefs-contract.ss" - [preferences:get-drscheme:large-letters-font (-> (U #f (Pair String Integer)))]) + [preferences:get-drracket:large-letters-font (-> (U #f (Pair String Integer)))]) (require (only-in "prefs-contract.ss" preferences:get)) (provide preferences:get) diff --git a/collects/typed/framework/prefs-contract.ss b/collects/typed/framework/prefs-contract.rkt similarity index 71% rename from collects/typed/framework/prefs-contract.ss rename to collects/typed/framework/prefs-contract.rkt index dd62fb14..9abefcc0 100644 --- a/collects/typed/framework/prefs-contract.ss +++ b/collects/typed/framework/prefs-contract.rkt @@ -4,10 +4,10 @@ framework/framework) (provide (rename-out [-preferences:get preferences:get]) - preferences:get-drscheme:large-letters-font) + preferences:get-drracket:large-letters-font) -(define (preferences:get-drscheme:large-letters-font) - (preferences:get 'drscheme:large-letters-font)) +(define (preferences:get-drracket:large-letters-font) + (preferences:get 'drracket:large-letters-font)) (define-syntax (-preferences:get stx) (syntax-case stx (quote) 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 100% rename from collects/typed/scheme/base/lang/reader.ss rename to collects/typed/scheme/base/lang/reader.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/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