suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove opaque monad type from typed/rackunit

Browse Source 
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.
This commit is contained in:
Jack Firth 2017-06-26 18:15:54 -07:00 committed by Jay McCarthy
parent 6c2a7eb512
commit 70c65a4737
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
typed-racket-more/typed/rackunit/main.rkt
View File

@ -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))