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
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
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
13 matches
Mail list logo
