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 binding.: ; => add context.: ; => add matching binding.: ; matching binding.: in: add1 I found this because of this Travis CI build failure: https://travis-ci.org/AlexKnauth/infix-macro/jobs/68245124#L164 On Jun 25, 2015, at 12:31 AM, Matthew Flatt <[email protected]> wrote: > 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 >> [(define x 1)] >> (define-syntax outer-x (make-rename-transformer #'x))) >> outer-x >> >> ;. outer-x: unbound identifier in module in: outer-x >> >> This works in the current expander, but fails in the scope-set expander. >> >> It does work for splicing-let and splicing-letrec though. >> >> I found it because I rely on it in this macro here: >> https://github.com/AlexKnauth/my-object/blob/master/my-object/stuff.rkt#L25 >> And Travis CI was giving me this error: >> https://travis-ci.org/AlexKnauth/my-object/jobs/68248192#L209 >> >> On Jun 22, 2015, at 8:25 AM, Matthew Flatt <[email protected]> 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 expander to the master branch of the development >>> repository. >>> >>> Thanks to those who have tried the new expander and reported back! >>> Meanwhile, I've expanded the write-up and filled out the formal model >>> (at the same URL as before). >> >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
