Re: [racket-dev] okay to require rackunit in modules required at startup?

2011-06-29 Thread John Clements
On Jun 28, 2011, at 11:19 PM, Robby Findler wrote: Yes, please do separate the stepper tests out into another file. Got it, done. John smime.p7s Description: S/MIME cryptographic signature _ For list-related administrative tasks:

Re: [racket-dev] okay to require rackunit in modules required at startup?

2011-06-29 Thread Robby Findler
I think Eli is saying that it would create a bad dependency where badness isn't something that is easy to say precisely what it is, but the rough idea is that there is a hierarchy of modules (ie a grouping of modules into levels of a tree) and dependencies should go one direction. Making drracket

Re: [racket-dev] okay to require rackunit in modules required at startup?

2011-06-29 Thread Eli Barzilay
Four minutes ago, Robby Findler wrote: I think Eli is saying that it would create a bad dependency where Yes, the redundant was a bad translation of something like a dependency we don't really need. badness isn't something that is easy to say precisely what it is, but the rough idea is that

Re: [racket-dev] okay to require rackunit in modules required at startup?

2011-06-29 Thread Sam Tobin-Hochstadt
On Wed, Jun 29, 2011 at 8:10 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Wed, Jun 29, 2011 at 7:40 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Wed, Jun 29, 2011 at 2:52 AM, Eli Barzilay e...@barzilay.org wrote: [*] As an example, rackunit might become dependent on drr in

Re: [racket-dev] varrefs in teaching languages are actually top-level?

2011-06-29 Thread John Clements
On Jun 29, 2011, at 11:53 AM, Stephen Chang wrote: I just observed something that gave me a bit of a start; it appears to me that bindings in the teaching languages are still parsed as top-level bindings, and not as module bindings. This is weird, because I'm pretty confident that the

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Carl Eastlund
On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I've pushed a change to Racket's macro system that throws out the syntax-certificate system and adds a syntax-taint system. Syntax taints, like syntax certificates before, are intended to protect macro expansions from

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Eli Barzilay
8 minutes ago, Carl Eastlund wrote: On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I've pushed a change to Racket's macro system that throws out the syntax-certificate system and adds a syntax-taint system. Syntax taints, like syntax certificates before, are

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Eli Barzilay
A few seconds ago, Eli Barzilay wrote: 8 minutes ago, Carl Eastlund wrote: On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I've pushed a change to Racket's macro system that throws out the syntax-certificate system and adds a syntax-taint system. Syntax

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Carl Eastlund
On Wed, Jun 29, 2011 at 10:10 PM, Eli Barzilay e...@barzilay.org wrote: A few seconds ago, Eli Barzilay wrote: 8 minutes ago, Carl Eastlund wrote: On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I've pushed a change to Racket's macro system that throws out the

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Sam Tobin-Hochstadt
On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt mfl...@cs.utah.edu wrote:  * If you write program-processing tools or languages that use   `syntax-recertify', you'll need to change them to use   `syntax-disarm' and possibly `syntax-rearm'. Does this change (more generally than the part I've

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Matthew Flatt
8 minutes ago, Carl Eastlund wrote: On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Things you need to know:  * When writing a macro (without `syntax-rules', `define-syntax-rule',   or `syntax-id-rules'), apply `syntax-protect' to the macro's

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Carl Eastlund
On Wed, Jun 29, 2011 at 10:55 PM, Matthew Flatt mfl...@cs.utah.edu wrote: 8 minutes ago, Carl Eastlund wrote: On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Things you need to know:  * When writing a macro (without `syntax-rules',