Make TR class tests run successfully on their own

Closes PR 14409

original commit: da3bc2f266c31ef912dc4b1e0a6ba77610d6ed9b
This commit is contained in:
Asumu Takikawa 2014-03-18 15:44:28 -04:00
parent 19ea44afa6
commit d9dca81616

View File

@ -4,11 +4,17 @@
(require (submod "typecheck-tests.rkt" test-helpers)
(except-in "test-utils.rkt" private)
(for-syntax racket/base))
(for-syntax racket/base
typed-racket/tc-setup
typed-racket/utils/tc-utils))
(provide tests)
(gen-test-main)
(begin-for-syntax
;; for checking the printing of type aliases
(current-type-names (init-current-type-names)))
;; see typecheck-tests.rkt for rationale on imports
(require rackunit
(except-in racket/class class)