I understand why the begin and [a a] work, but what I'm wondering is why the others didn't work. For example, why didn't `begin` work in my second example? Is the lexical information for the bindings just coming form somewhere really weird?<br><br><div class="gmail_quote">On Thu Nov 06 2014 at 5:18:59 PM Jay McCarthy <<a href="mailto:jay.mccarthy@gmail.com">jay.mccarthy@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The begin works because the macro use is at the top-level and the<br>
thing gets pulled up and spliced in, I believe.<br>
<br>
The [a a] works because the second a is detected as a binder so it<br>
gets matched up mark-wise with the second one rather than having them<br>
erased? Hygiene? Marks? Dye packets?<br>
<br>
Jay<br>
<br>
On Thu, Nov 6, 2014 at 4:36 PM, Spencer Florence <<a href="mailto:spencer@florence.io" target="_blank">spencer@florence.io</a>> wrote:<br>
> Thanks! That fixed it!<br>
><br>
> Although I'm still curious as to why the error happens in the first place.<br>
><br>
> On Thu Nov 06 2014 at 3:32:02 PM Alexander D. Knauth <<a href="mailto:alexander@knauth.org" target="_blank">alexander@knauth.org</a>><br>
> wrote:<br>
>><br>
>> I think I had a similar sort of problem about a year ago (I was at either<br>
>> RacketCon or a Hackathon that same weekend and Mathew Flatt figured it out),<br>
>> and the solution was changing (only-in path a) to (only-in path [a a]).<br>
>><br>
>> #lang racket/load<br>
>> ;;provider<br>
>> (module T racket<br>
>>   (provide a)<br>
>>   (define a 1))<br>
>> ;; requirer<br>
>> (module R racket<br>
>>   (require (for-syntax syntax/parse))<br>
>>   (define-syntax (test-binding stx)<br>
>>     (syntax-parse stx<br>
>>       [(_ path)<br>
>>        #'(let () (local-require (only-in path [a a])) a)]))<br>
>>   (test-binding 'T))<br>
>> ;; go<br>
>> (require ‘R)<br>
>><br>
>><br>
>> On Nov 6, 2014, at 4:09 PM, Spencer Florence <<a href="mailto:spencer@florence.io" target="_blank">spencer@florence.io</a>> wrote:<br>
>><br>
>> > Hi All,<br>
>> ><br>
>> > I've been struggling to have a macro be given a path then require<br>
>> > something from that path. The following code produces and "Unbound<br>
>> > Identifier" error, although I would expect it to evaluate to 1. Could<br>
>> > someone provide insight into what is going on?<br>
>> ><br>
>> > #lang racket/load<br>
>> > ;;provider<br>
>> > (module T racket<br>
>> >   (provide a)<br>
>> >   (define a 1))<br>
>> > ;; requirer<br>
>> > (module R racket<br>
>> >   (require (for-syntax syntax/parse))<br>
>> >   (define-syntax (test-binding stx)<br>
>> >     (syntax-parse stx<br>
>> >       [(_ path)<br>
>> >        #'(let () (local-require (only-in path a)) a)]))<br>
>> >   (test-binding 'T))<br>
>> > ;; go<br>
>> > (require 'R)<br>
>> ><br>
>> ><br>
>> > P.S. I attempted to do this with `dynamic-require,` but that failed<br>
>> > because in my actual program `path` is sometimes `(submod "..")`, which<br>
>> > caused an error about not having a base path.<br>
>> ><br>
>> > ____________________<br>
>> >  Racket Users list:<br>
>> >  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/<u></u>users</a><br>
>><br>
><br>
> ____________________<br>
>   Racket Users list:<br>
>   <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/<u></u>users</a><br>
><br>
<br>
<br>
<br>
--<br>
Jay McCarthy<br>
<a href="http://jeapostrophe.github.io" target="_blank">http://jeapostrophe.github.io</a><br>
<br>
           "Wherefore, be not weary in well-doing,<br>
      for ye are laying the foundation of a great work.<br>
And out of small things proceedeth that which is great."<br>
                          - D&C 64:33<br>
</blockquote></div>