diff --git a/typed-racket-more/typed/rackunit/main.rkt b/typed-racket-more/typed/rackunit/main.rkt index 671d37d3..1a5ce426 100644 --- a/typed-racket-more/typed/rackunit/main.rkt +++ b/typed-racket-more/typed/rackunit/main.rkt @@ -134,7 +134,7 @@ (require/opaque-type TestCase test-case? rackunit) (provide TestCase test-case?) -(define-type Seed (U #f (Object))) +(define-type Seed Any) (define-type test-suite-handler-down (rackunit-test-suite (Option String) (Thunk Any) (Thunk Any) Seed -> Seed)) diff --git a/typed-racket-test/succeed/rackunit-suite.rkt b/typed-racket-test/succeed/rackunit-suite.rkt new file mode 100644 index 00000000..dbe9ce29 --- /dev/null +++ b/typed-racket-test/succeed/rackunit-suite.rkt @@ -0,0 +1,10 @@ +#lang typed/racket + +(require typed/rackunit + typed/rackunit/text-ui) + +(define passing-suite + (test-suite "Example Typed Rackunit test suite" + (check-equal? 1 1))) + +(check-equal? (run-tests passing-suite 'quiet) 0)