[racket-dev] syntax/syntax proposal

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Thu Jun 21 17:34:04 EDT 2012

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.


> 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?

Posted on the dev mailing list.