From 70c65a4737187095000589762ec3903715bf82a4 Mon Sep 17 00:00:00 2001 From: Jack Firth Date: Mon, 26 Jun 2017 18:15:54 -0700 Subject: [PATCH] Remove opaque monad type from typed/rackunit The "monad" struct in RackUnit's internals is never exposed to users and there's no requirement to use it with `fold-test-results`. The "seed" parameter in `fold-test-results` can be any value and is more accurately described by a parametric type. I'm not quite sure what the correct change to make it parametric is, but this change is necessary to remove the dependency on `rackunit/private/monad`. The monad implementation of `rackunit/text-ui` will hopefully go away soon. --- typed-racket-more/typed/rackunit/main.rkt | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/typed-racket-more/typed/rackunit/main.rkt b/typed-racket-more/typed/rackunit/main.rkt index ad5e4752..0d4fdb94 100644 --- a/typed-racket-more/typed/rackunit/main.rkt +++ b/typed-racket-more/typed/rackunit/main.rkt @@ -138,10 +138,7 @@ (require/opaque-type TestCase test-case? rackunit) (provide TestCase test-case?) -(require/typed - rackunit/private/monad - [#:opaque monad monad?]) -(define-type Seed (U #f monad (Object))) +(define-type Seed (U #f (Object))) (define-type test-suite-handler-down (rackunit-test-suite (Option String) (Thunk Any) (Thunk Any) Seed -> Seed))