diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt index 1bf7dac9..a0411a39 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt @@ -13,7 +13,6 @@ "type-annotation-test.rkt" ;; pass "keyword-expansion-test.rkt" ;;pass - "module-tests.rkt" ;; pass "contract-tests.rkt" "interactive-tests.rkt" @@ -37,7 +36,6 @@ overlap-tests parse-type-tests type-annotation-tests - module-tests fv-tests contract-tests keyword-tests @@ -50,6 +48,4 @@ (define-go (lambda () unit-tests)) -;(go/gui) - diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt index a0b14c07..8e9c3e4d 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt @@ -7,6 +7,7 @@ (rep type-rep) (types abbrev numeric-tower union) rackunit) +(provide contract-tests) (define-syntax-rule (t e) @@ -91,5 +92,3 @@ "multiple distinct type variables") )) -(define-go contract-tests) -(provide contract-tests) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/keyword-expansion-test.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/keyword-expansion-test.rkt index 3b17311d..33c618f7 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/keyword-expansion-test.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/keyword-expansion-test.rkt @@ -75,10 +75,4 @@ (-> one two three true true result) (-> one two false true false result) (-> one false false false false result))] - - - - )) - -(define-go keyword-tests) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/parse-type-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/parse-type-tests.rkt index fc0f601a..64870409 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/parse-type-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/parse-type-tests.rkt @@ -143,9 +143,3 @@ )) ;; FIXME - add tests for parse-values-type, parse-tc-results - -(define-go - parse-type-tests) - - - diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/remove-intersect-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/remove-intersect-tests.rkt index db091467..561d8008 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/remove-intersect-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/remove-intersect-tests.rkt @@ -1,6 +1,6 @@ -#lang scheme/base -(require "test-utils.rkt" (for-syntax scheme/base) - (rep type-rep) +#lang racket/base +(require "test-utils.rkt" + (for-syntax racket/base) (r:infer infer) (types abbrev numeric-tower subtype union remove-intersect) rackunit) @@ -66,20 +66,5 @@ [(-pair -Number (-v a)) (-pair Univ Univ) (Un)] )) -(define-go - restrict-tests - remove-tests - overlap-tests) - -(define x1 - (-mu list-rec - (Un - (-val '()) - (-pair (-mu x (Un -Boolean -Number -String -Symbol (-val '()) (-pair x x))) - list-rec)))) -(define x2 - (Un (-val '()) - (-pair (-mu x (Un -Boolean -Number -String -Symbol (-val '()) (-pair x x))) - (-mu x (Un -Boolean -Number -String -Symbol (-val '()) (-pair x x)))))) (provide remove-tests restrict-tests overlap-tests) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/special-env-typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/special-env-typecheck-tests.rkt index 2ae1384b..8b9b8b2e 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/special-env-typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/special-env-typecheck-tests.rkt @@ -20,6 +20,7 @@ typed-racket/base-env/prims typed-racket/base-env/base-types (for-syntax typed-racket/standard-inits)) +(provide typecheck-special-tests) (begin-for-syntax (do-standard-inits)) @@ -137,5 +138,3 @@ )) -(define-go typecheck-special-tests) -(provide typecheck-special-tests) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subst-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subst-tests.rkt index 3cb49a41..620e2864 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subst-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subst-tests.rkt @@ -1,6 +1,6 @@ -#lang scheme/base +#lang racket/base -(require "test-utils.rkt" (for-syntax scheme/base) +(require "test-utils.rkt" (rep type-rep) (types utils abbrev numeric-tower substitute) rackunit) @@ -19,6 +19,3 @@ (s... (-Number -Boolean) a (make-Function (list (make-arr-dots (list -String) -Number (-v b) 'a))) (-String (-v b) (-v b) . -> . -Number)) (s... (-Number -Boolean) a (make-Function (list (make-arr-dots (list -String) -Number (-v b) 'b))) (make-Function (list (make-arr-dots (list -String) -Number (-v b) 'b)))))) - -(define-go subst-tests) - diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt index 8cbb3da4..74abe81d 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt @@ -253,6 +253,3 @@ [(make-ListDots (-> -Symbol (make-F 'a)) 'a) (-lst (-> -Symbol Univ))] )) - -(define-go - subtype-tests) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/test-utils.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/test-utils.rkt index f8353210..fcfed8c5 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/test-utils.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/test-utils.rkt @@ -1,5 +1,4 @@ #lang scheme/base -(provide (all-defined-out)) (require scheme/require-syntax scheme/match @@ -10,7 +9,7 @@ (rep type-rep) rackunit rackunit/text-ui) -(provide private typecheck (rename-out [infer r:infer]) utils env rep types base-env) +(provide private typecheck (rename-out [infer r:infer]) utils env rep types base-env (all-defined-out)) (define (mk-suite ts) (match (map (lambda (f) (f)) ts) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt index a6ed3228..5100935f 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt @@ -46,8 +46,3 @@ (-struct #'heap-node #f (map fld* (list (-base 'comparator) -Number (-pair -Number -Number) (Un heap-node (-base 'heap-empty)))))) (-base 'heap-empty))])) - -(define-go - type-equal-tests) - - diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt index afcc5102..58923d99 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -71,6 +71,8 @@ syntax/parse 'tester)) +(provide typecheck-tests) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; @@ -1945,6 +1947,3 @@ #:expected (-mu X (-pair (-vec (t:Un (-val ':a) X)) (t:Un (-val ':b) X)))] [tc-l/err #(1 2) #:expected (make-HeterogeneousVector (list -Number -Symbol))] )) - - -(provide typecheck-tests)