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

2012-06-26 Thread Eric Dobson
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


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

2012-06-26 Thread Robby Findler
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).

Robby

On Tue, Jun 26, 2012 at 11:34 PM, Eric Dobson eric.n.dob...@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

_
  Racket Developers list:
  http://lists.racket-lang.org/dev