[racket] style guide, was Re: Contracts and submodules

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Tue Mar 5 18:51:44 EST 2013

On 2013-03-05 17:48:51 -0500, Greg Hendershott wrote:
> But it seems like the only choices are:
> - Keep using (provide (contract-out)) but switch back to lumping all
> the tests together, in one module* (or even back to the old way of a
> separate file).

I think Matthias's solution was actually to let you use
(provide (contract-out)) while still using module+ to group tests

Note that in his "decluttering" example, his module+ submodule
does a (require (submod "..")). It turns out that a submodule
that does this will get the contracted identifiers instead of the
original ones (since `require` is allowed to overwrite bindings
from the module's base module).


Posted on the users mailing list.