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
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
2 matches
Mail list logo