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
Oops, didn't Cc list:
On Mon, Jun 29, 2015 at 12:13 PM, Greg Hendershott
greghendersh...@gmail.com wrote:
On Mon, Jun 29, 2015 at 7:43 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
I'll have to update the version number, so there's now a
racket-current-x86_64-linux.sh
installer link.
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
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
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-local
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 macro
Excited!
On Tue, Jun 23, 2015 at 10:30 AM, Neil Toronto neil.toro...@gmail.com 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.
. 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.
--
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
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
:15
To: us...@racket-lang.org
Subject: [racket-users] try a new macro expander
I've been working on a new model of macros for Racket. The new model
provides a simple account of scope, makes reasoning about macros
easier, and simplifies the implementation of the macro expander while
fixing bugs (e.g
I've been working on a new model of macros for Racket. The new model
provides a simple account of scope, makes reasoning about macros
easier, and simplifies the implementation of the macro expander while
fixing bugs (e.g., submodules in Typed Racket).
You can read more about the model here:
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
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
14 matches
Mail list logo