Re: [racket-users] try a new macro expander

2015-06-29 Thread Greg Hendershott
Oops, didn't Cc list: On Mon, Jun 29, 2015 at 12:13 PM, Greg Hendershott wrote: > On Mon, Jun 29, 2015 at 7:43 AM, Matthew Flatt wrote: >> I'll have to update the version number, so there's now a >> >>racket-current-x86_64-linux.sh >> >> installer link. > > Thanks. Updated to use this: > > h

Re: [racket-users] try a new macro expander

2015-06-29 Thread Matthew Flatt
Thanks! I've pushed repairs for these problems, mreged recent changes from the main development branches, and updated the snapshot here: http://www.cs.utah.edu/~mflatt/tmp/scope-snapshot/ At Thu, 25 Jun 2015 13:56:04 -0400, "Alexander D. Knauth" wrote: > Another weird error: > #lang racket/base

Re: [racket-users] try a new macro expander

2015-06-25 Thread Alexander D. Knauth
Another weird error: #lang racket/base (require racket/stxparam (for-syntax racket/base)) (define-syntax-parameter add (make-rename-transformer #'+)) (define-syntax add1 (make-rename-transformer #'add)) add1 ;add1: identifier's binding is ambiguous ; context.: ; matching binding.: ; matching bi

Re: [racket-users] try a new macro expander

2015-06-24 Thread Matthew Flatt
Yes, I overlooked `splicing-local`, and I'll repair it. Thanks for the report! At Wed, 24 Jun 2015 20:27:39 -0400, "Alexander D. Knauth" wrote: > I’ve just found something that I expected to work, but didn’t: > > #lang racket/base > (require racket/splicing (for-syntax racket/base)) > (splicing-l

Re: [racket-users] try a new macro expander

2015-06-24 Thread Alexander D. Knauth
I’ve just found something that I expected to work, but didn’t: #lang racket/base (require racket/splicing (for-syntax racket/base)) (splicing-local [(define x 1)] (define-syntax outer-x (make-rename-transformer #'x))) outer-x ;. outer-x: unbound identifier in module in: outer-x This works

Re: [racket-users] try a new macro expander

2015-06-23 Thread Anthony Carrico
👍👍. Awesome that Racket keeps pushing the envelope on meta-programming. It /is/ exciting. I'm somewhat quiet because I'm still absorbing it as I get the time. There has been chatter on IRC too. Also, very cool that mflatt is being so open with the community during the dev cycle. Bring it on. -- A

Re: [racket-users] try a new macro expander

2015-06-23 Thread Robby Findler
Excited! On Tue, Jun 23, 2015 at 10:30 AM, Neil Toronto wrote: > On 06/22/2015 08:25 AM, Matthew Flatt wrote: >> >> At Thu, 21 May 2015 07:15:14 -0600, Matthew Flatt wrote: >>> >>> Otherwise, be prepared for me to come back in a few >>> weeks and lobby for moving to a new macro expander. >> >> >>

Re: [racket-users] try a new macro expander

2015-06-23 Thread Neil Toronto
On 06/22/2015 08:25 AM, Matthew Flatt wrote: At Thu, 21 May 2015 07:15:14 -0600, Matthew Flatt wrote: Otherwise, be prepared for me to come back in a few weeks and lobby for moving to a new macro expander. Here's the proposal: let's switch on July 16. "Switch" means that I'd merge the new macr

Re: [racket-users] try a new macro expander

2015-06-22 Thread Matthew Flatt
At Thu, 21 May 2015 07:15:14 -0600, Matthew Flatt wrote: > Otherwise, be prepared for me to come back in a few > weeks and lobby for moving to a new macro expander. Here's the proposal: let's switch on July 16. "Switch" means that I'd merge the new macro expander to the master branch of the develo

RE: [racket-users] try a new macro expander

2015-05-22 Thread Jos Koot
Hi Matthew, Your proposal sounds very good to me (for what my opinion is worth). Thanks. FWIW I give you my findings, which are positive. I have tried the snapshot with the tests of three of my systems: lc-with-redex (not in planet or github) fmt (on planet) infix (not yet in planet or github) In t

Re: [racket-users] try a new macro expander

2015-05-22 Thread Matthew Flatt
At Thu, 21 May 2015 22:58:04 -0400, Josh Grams wrote: > Also, shouldn't the x's under syntax-rules and in the expansion of > (m) have a 'b' in their scope sets (since they're in the > syntax-rules scope)? Or aren't they? The `let-syntax` form binds only in its body, not the right-hand sides of bin

Re: [racket-users] try a new macro expander

2015-05-21 Thread Josh Grams
On 2015-05-21 07:15AM, Matthew Flatt wrote: >I've been working on a new model of macros for Racket. > http://www.cs.utah.edu/~mflatt/scope-sets-5/ Minor typo in the last paragraph of Section 1.1: "insprired". Also, shouldn't the x's under syntax-rules and in the expansion of (m) have a 'b' in t

Re: [racket-users] try a new macro expander

2015-05-21 Thread Greg Hendershott
Thanks to a pull request from Alexander Knauth, you can add a RACKET_VERSION = SCOPE_SNAPSHOT to your .travis.yml build matrix: https://github.com/greghendershott/travis-racket/blob/master/.travis.yml#L31 Also, as with RACKET_VERSION = HEAD, you can put this version into an allowed failures lis