Re: [racket-dev] switching to racket7?

2018-02-20 Thread Robby Findler
I'm excited! On Tue, Feb 20, 2018 at 2:24 PM, Matthew Butterick wrote: > >> On Feb 20, 2018, at 8:04 AM, Matthew Flatt wrote: >> >> I think it's time to swap in the Racket-implemented macro expander, so >> I propose to merge the changes in the `racket7` repo

Re: [racket-dev] switching to racket7?

2018-02-20 Thread Matthew Butterick
> On Feb 20, 2018, at 8:04 AM, Matthew Flatt wrote: > > I think it's time to swap in the Racket-implemented macro expander, so > I propose to merge the changes in the `racket7` repo to the main > `racket` repo (but as one commit, leaving the history to `racket7`). For

Re: [racket-dev] switching to racket7?

2018-02-20 Thread 'John Clements' via Racket Developers
Exciting! Can’t wait. (Won’t tell my students to switch yet.) > On Feb 20, 2018, at 8:04 AM, Matthew Flatt wrote: -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving

[racket-dev] switching to racket7?

2018-02-20 Thread Matthew Flatt
I think it's time to swap in the Racket-implemented macro expander, so I propose to merge the changes in the `racket7` repo to the main `racket` repo (but as one commit, leaving the history to `racket7`). If we agree that this is a good idea, then I recommend making the switch next week. It's