[racket-dev] Writing tests for contracts outside of racket/contract

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed Jun 27 01:09:42 EDT 2012

The contract-test.rktl file has evolved over a long time and needs to
be rewritten in a module and split up into pieces. If you wanted to
take that on, that'd be great! Otherwise, probably the right thing is
to start a new file (as the way it is set up is overly complicated,
compared to what we'd need to use in this day and age).


On Tue, Jun 26, 2012 at 11:34 PM, Eric Dobson <eric.n.dobson at gmail.com> wrote:
> I am adding the contract combinators free-id-table/c and
> bound-id-table/c, and working on the tests for them. It would make
> sense to put them in tests/racket/id-table-tests.rkt, but
> tests/racket/contract-test.rkt has many testing combinators for
> contracts that would be useful. Is it reasonable to extract these out
> to a module so that other tests can use them as well? If so does it
> belong in tests/racket because it is only for tests or is tests/racket
> limited to the actual testing files.
> _________________________
>  Racket Developers list:
>  http://lists.racket-lang.org/dev

Posted on the dev mailing list.