Re: [racket-dev] syntax property duplication

2011-09-07 Thread John Clements
On Sep 7, 2011, at 10:40 AM, Carl Eastlund wrote: > On Wed, Sep 7, 2011 at 1:37 PM, John Clements > wrote: >> >> On Sep 6, 2011, at 8:12 PM, Sam Tobin-Hochstadt wrote: >> >>> On Tue, Sep 6, 2011 at 8:05 PM, John Clements >>> wrote: On Aug 18, 2011, at 5:32 AM, Sam Tobin-Hochstadt

Re: [racket-dev] syntax property duplication

2011-09-07 Thread Carl Eastlund
On Wed, Sep 7, 2011 at 1:37 PM, John Clements wrote: > > On Sep 6, 2011, at 8:12 PM, Sam Tobin-Hochstadt wrote: > >> On Tue, Sep 6, 2011 at 8:05 PM, John Clements >> wrote: >>> >>> On Aug 18, 2011, at 5:32 AM, Sam Tobin-Hochstadt wrote: >>> Yes, I understand why this happens.  As I see

Re: [racket-dev] syntax property duplication

2011-09-07 Thread John Clements
On Sep 6, 2011, at 8:12 PM, Sam Tobin-Hochstadt wrote: > On Tue, Sep 6, 2011 at 8:05 PM, John Clements > wrote: >> >> On Aug 18, 2011, at 5:32 AM, Sam Tobin-Hochstadt wrote: >> >>> >>> Yes, I understand why this happens. As I see it, there are a few >>> possibilities: >>> >>> 1. The expan

Re: [racket-dev] syntax property duplication

2011-09-06 Thread Sam Tobin-Hochstadt
On Tue, Sep 6, 2011 at 8:05 PM, John Clements wrote: > > On Aug 18, 2011, at 5:32 AM, Sam Tobin-Hochstadt wrote: > >> >> Yes, I understand why this happens.  As I see it, there are a few >> possibilities: >> >> 1. The expander should check for duplicates, in some fashion. >> 2. This idiom is prob

Re: [racket-dev] syntax property duplication

2011-09-06 Thread John Clements
On Aug 18, 2011, at 5:32 AM, Sam Tobin-Hochstadt wrote: > > Yes, I understand why this happens. As I see it, there are a few > possibilities: > > 1. The expander should check for duplicates, in some fashion. > 2. This idiom is problematic, in the case where `stx' is both the > input and used

Re: [racket-dev] syntax property duplication

2011-08-18 Thread Sam Tobin-Hochstadt
On Thu, Aug 18, 2011 at 8:14 AM, Carl Eastlund wrote: > On Wed, Aug 17, 2011 at 6:25 PM, Sam Tobin-Hochstadt > wrote: >> The following idiom duplicates the syntax properties on `stx': >> >>  (define-syntax (m stx) (datum->syntax #'here 'id stx stx)) >> >> This is a problem for me because I use s

Re: [racket-dev] syntax property duplication

2011-08-18 Thread Carl Eastlund
On Wed, Aug 17, 2011 at 6:25 PM, Sam Tobin-Hochstadt wrote: > The following idiom duplicates the syntax properties on `stx': > >  (define-syntax (m stx) (datum->syntax #'here 'id stx stx)) > > This is a problem for me because I use syntax properties to indicate > polymorphic type instantiation.  I

[racket-dev] syntax property duplication

2011-08-17 Thread Sam Tobin-Hochstadt
The following idiom duplicates the syntax properties on `stx': (define-syntax (m stx) (datum->syntax #'here 'id stx stx)) This is a problem for me because I use syntax properties to indicate polymorphic type instantiation. If an expression that's actually a macro using this idiom is instatiate