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

2011-07-05 Thread Eli Barzilay
On Saturday, Matthew Flatt wrote: At Sat, 2 Jul 2011 12:34:49 -0400, Eli Barzilay wrote: I read the guide chapter -- it has a few typos: 1. The page is stx-certs.html. Intentional, though I'm not sure it's a good idea. There's a small benefit of keeping the URL the same and making old

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

2011-07-02 Thread Stephan Houben
On 06/30/2011 05:01 AM, Carl Eastlund wrote: On Wed, Jun 29, 2011 at 10:55 PM, Matthew Flattmfl...@cs.utah.edu wrote: The problem with having the macro transformer add `syntax-protect' for (define-syntax bar (lambda (stx) ...)) is that some other transformer can say

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

2011-07-02 Thread Carl Eastlund
On Thu, Jun 30, 2011 at 2:20 PM, Stephan Houben steph...@planet.nl wrote: Something like this springs to mind: (define-syntax provide/protection  (syntax-rules ()    ((_ name)     (begin       (define-syntax tmp         (syntax-rules ()           ((_ . args) (name . args      

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

2011-07-02 Thread Eli Barzilay
I read the guide chapter -- it has a few typos: 1. The page is stx-certs.html. 2. There's still one mention of certificate. 3. Some modules are referred to by name where there is no such name. For example, the q module (I'm pretty sure that there were more). 4. Talks about defining

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

2011-07-02 Thread Matthew Flatt
At Sat, 2 Jul 2011 12:34:49 -0400, Eli Barzilay wrote: I read the guide chapter -- it has a few typos: 1. The page is stx-certs.html. Intentional, though I'm not sure it's a good idea. There's a small benefit of keeping the URL the same and making old links to the certificate chapter point to

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',