rename "typed-racket-tests" package to "typed-racket-test"

2013-07-28 14:46:01 -06:00 · 2013-07-28 14:46:01 -06:00 · fedcd35477
commit fedcd35477
parent 95532827a5
659 changed files with 11 additions and 10 deletions
--- a/pkgs/main-distribution-test/info.rkt
+++ b/pkgs/main-distribution-test/info.rkt
@ -13,5 +13,6 @@
               "errortrace-test"
               "r6rs-test"
               "web-server-test"
+               "typed-racket-test"
               "xrepl-test"
               "scribble-test"))
--- a/pkgs/plt-services/meta/props
+++ b/pkgs/plt-services/meta/props
@ -1481,16 +1481,16 @@ path/s is either such a string or a list of them.
 "pkgs/typed-racket-pkgs/typed-racket-lib/unstable/match.rkt" responsible (samth)
 "pkgs/typed-racket-pkgs/typed-racket-more/typed" responsible (samth)
 "pkgs/typed-racket-pkgs/typed-racket-more/typed/rackunit" responsible (jay)
-"pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail" drdr:command-line #f
-"pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/with-type3.rkt" responsible (sstrickl)
-"pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/nightly-run.rkt" drdr:command-line #f
-"pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/optimizer" responsible (stamourv)
-"pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/optimizer/run.rkt" drdr:timeout 1200
-"pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/optimizer/transform.rkt" drdr:command-line #f
-"pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/run.rkt" drdr:command-line (racket * "--nightly") drdr:timeout 1800
-"pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/succeed/submodules.rkt" drdr:command-line (racket * "1")
-"pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/tr-random-testing.rkt" drdr:timeout 300 drdr:random #t
-"pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/xfail" drdr:command-line #f
+"pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail" drdr:command-line #f
+"pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/with-type3.rkt" responsible (sstrickl)
+"pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/nightly-run.rkt" drdr:command-line #f
+"pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer" responsible (stamourv)
+"pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/run.rkt" drdr:timeout 1200
+"pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/transform.rkt" drdr:command-line #f
+"pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/run.rkt" drdr:command-line (racket * "--nightly") drdr:timeout 1800
+"pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/submodules.rkt" drdr:command-line (racket * "1")
+"pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt" drdr:timeout 300 drdr:random #t
+"pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/xfail" drdr:command-line #f
 "pkgs/unstable-contract-lib" responsible (robby ryanc)
 "pkgs/unstable-debug-lib" responsible (samth)
 "pkgs/unstable-flonum-pkgs" responsible (ntoronto)
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/info.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/info.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/info.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/info.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/all-bad-syntax.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/all-bad-syntax.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/ann-map-funcs.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/ann-map-funcs.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/apply-dots.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/apply-dots.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/back-and-forth.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/back-and-forth.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-ann.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-ann.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-any.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-any.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-first.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-first.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-hash-ref.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-hash-ref.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-map-poly.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-map-poly.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-struct-top.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-struct-top.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-type-app.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/bad-type-app.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/box-fail.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/box-fail.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/case-lambda1.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/case-lambda1.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/case-lambda2.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/case-lambda2.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/case-lambda3.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/case-lambda3.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/case-lambda4.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/case-lambda4.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/case-union-subtype.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/case-union-subtype.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cast-mod1.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cast-mod1.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cast-mod2.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cast-mod2.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cast-mod3.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cast-mod3.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cast-top-level1.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cast-top-level1.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cast-top-level2.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cast-top-level2.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/check-expect-fail.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/check-expect-fail.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cl-bug.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cl-bug.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cnt-err1.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cnt-err1.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cnt-struct-err.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/cnt-struct-err.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/control-test-1.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/control-test-1.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/control-test-2.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/control-test-2.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/control-test-3.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/control-test-3.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/control-test-4.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/control-test-4.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/control-test-5.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/control-test-5.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/control-test-6.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/control-test-6.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/dead-substruct.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/dead-substruct.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/dup-ann.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/dup-ann.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/duplicate-ann.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/duplicate-ann.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/exn-any.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/exn-any.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/explicit-fail.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/explicit-fail.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/flat-contract-name.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/flat-contract-name.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/for-multiple-annotations.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/for-multiple-annotations.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/formal-len-mismatches.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/formal-len-mismatches.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/gadt.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/gadt.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/ht-infer.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/ht-infer.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/inexact-complex.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/inexact-complex.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/infer-dots.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/infer-dots.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/internal-ann.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/internal-ann.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/internal-vector-error.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/internal-vector-error.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/log-not-complex.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/log-not-complex.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/make-predicate-mod1.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/make-predicate-mod1.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/make-predicate-mod2.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/make-predicate-mod2.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/make-predicate-top-level1.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/make-predicate-top-level1.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/make-predicate-top-level2.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/make-predicate-top-level2.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/mandatory-kw.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/mandatory-kw.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/missing-rest-arguments.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/missing-rest-arguments.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/nested-tvars.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/nested-tvars.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/non-portable-fixnum-singleton.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/non-portable-fixnum-singleton.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/non-productive-rec.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/non-productive-rec.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/non-productive-rec2.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/non-productive-rec2.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/nonnegative-float.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/nonnegative-float.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/opaque-overlap.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/opaque-overlap.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/other-module-mutation.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/other-module-mutation.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/plambda-dup-tvar.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/plambda-dup-tvar.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/poly-dup-name.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/poly-dup-name.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/poly-expect-error.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/poly-expect-error.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/poly-struct-parent.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/poly-struct-parent.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/poly-struct-parent2.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/poly-struct-parent2.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/poly-struct-parent3.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/poly-struct-parent3.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/polydots-dup-name.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/polydots-dup-name.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/port-to-list.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/port-to-list.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr10350.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr10350.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr10594.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr10594.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr11560.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr11560.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr11686.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr11686.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr11772.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr11772.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr11998.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr11998.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr12706.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr12706.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13123.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13123.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13209.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13209.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13218.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13218.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13233-2.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13233-2.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13233-3.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13233-3.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13233-4.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13233-4.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13233.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13233.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13274.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13274.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13365-variation-1.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13365-variation-1.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13365-variation-2.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13365-variation-2.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13365-variation-3.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13365-variation-3.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13365.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13365.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13446.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13446.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13448.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13448.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13526.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13526.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13562.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13562.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13577.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13577.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13581.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13581.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13588.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13588.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13662.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13662.rkt
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13663.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/pr13663.rkt
--- a/Show More
+++ b/Show More