[racket-dev] A broken contract test & feature

Oh, that's a good idea! I'll do that (later). Stupid me for not seeing that.

It would be great to get "<pkg>/x" into error messages at some point, but I
shouldn't have confused these two.

Thanks,
Robby


On Tue, Jul 2, 2013 at 6:53 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:

> Could you simply forge the source location on the syntax object to make it
> look like it's from a collection?
>
> Carl Eastlund
>
> On Tue, Jul 2, 2013 at 7:10 PM, Robby Findler <robby at eecs.northwestern.edu
> > wrote:
>
>> 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.
>>
>> Robby
>>
>>
>> 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.
>>>
>>
>>
>> _________________________
>>   Racket Developers list:
>>   http://lists.racket-lang.org/dev
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130702/c95bf20f/attachment-0001.html>