[racket-dev] A broken contract test & feature
Currently, there's one test in 'contract-test.rktl' that fails. The
problem is that the test expects 'contract-test.rktl' to be in the
"main collects directory", but it isn't -- it's in the `racket-test`
package. What we want is to have it detect that it's in a package,
but doing that has two problems. First, the relevant function is in
`setup/private/setup-relative`, but should probably be exported
publicly. Second, it can't be used, because it uses the package
system (of course) but the package system uses contracts in its
implementation. For this reason, I've disabled the test for the
moment, so that the core racket tests complete successfully [1].
Unfortunately, this is a really nice, if small, feature of the
contract system. Any suggestions for how we can fix this?
Sam
[1] Why I care in will be clear in a subsequent email.