[racket-dev] syntax/syntax proposal

On Jun 21, 2012, at 4:23 PM, Ryan Culpepper wrote:

> The reorganization would discourage people from trying to add contracts to modules in the racket/pre-contracts subcollection. It's apparent from the name, as opposed to being discoverable by running the compiler.
> 
> It would also encourage people to add contracts to every other library.

Amen. 


> Modules like syntax/stx and racket/list currently don't use contracts; they use hand-coded checks instead (or they just don't check their arguments). Is racket/contract/base a "heavy" dependency that we want to avoid for such libraries?