[racket-dev] lots of new tests pushed

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Apr 25 19:09:43 EDT 2011

On Mon, Apr 25, 2011 at 5:58 PM, Jon Rafkind <rafkind at cs.utah.edu> wrote:
> On 04/25/2011 12:32 PM, Robby Findler wrote:
>> I just pushed tests for all non-racket and non-scheme collections that
>> makes sure that all of the top-level libraries have their exports
>> fully documented. I left out info.rkt and tried to drop obviously bad
>> things from this list, but if you spot problems when drdr complains at
>> you, please just go edit the file to remove libraries that shouldn't
>> be there.
>>
>
> Maybe a dumb question, but by 'documented' do you mean 'exported with a
> contract' ? It doesn't look like the implementation is checking scribble..

It is checking scribble's output (the xref thing). It doesn't have to
be a function and it doesn't have to have a contract (ie you can use
defidform or defform or whatever), tho.

Robby


Posted on the dev mailing list.