[racket-dev] A broken contract test & feature

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Jul 2 19:10:11 EDT 2013

I looked into this too and didn't come up with a good solution.

It would be nice if there were a way to write the "here's a path, please
tell me which part to replace with "<pkg>/something" without too many
dependencies, but I didn't try to see if that would be feasible.

Meanwhile, I agree that just disabling that test is probably the way to go.


On Tue, Jul 2, 2013 at 5:57 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu>wrote:

> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130702/aab71e5c/attachment.html>

Posted on the dev mailing list.