racket / rackunit

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Migrate `typed/rackunit` to this repository

jackfirth opened this issue · comments

The typed-racket-more package in the Typed Racket repository defines a typed interface to RackUnit. This interface depends on some internal implementation details of RackUnit, as it essentially reimplements the testing macros with type annotations. In order to better support future changes to RackUnit, that typed wrapper could be moved to this repository by doing the following:

  • Create a rackunit-typed package which provides the typed wrapper modules currently in typed-racket-more.
  • Remove the typed RackUnit code from typed-racket-more and have typed-racket-more depend on rackunit-typed while listing it as an implies package.

This has the added benefit of allowing packages to use RackUnit with Typed Racket without pulling in all the dependencies of typed-racket-more, which include the database library, the web server library, multiple GUI packages, and various other odds and ends.