[racket] Dynamic Require of Syntax

From: Dan Grossman (djg at cs.washington.edu)
Date: Fri Feb 1 02:57:28 EST 2013

Cody and I would love an answer to this question from 1.5 months ago if
anybody can point us in the right direction and/or ask us to clarify the
question.  Or if the answer is "that is not possible" then we'll do
something else.

Much thanks!

--Dan

On Mon, Dec 17, 2012 at 9:20 PM, Cody Schroeder <codeblack08 at gmail.com>wrote:

>   I'm in a position that I would like to use dynamic-require<http://docs.racket-lang.org/reference/Module_Names_and_Loading.html#(def._((quote._~23~25kernel)._dynamic-require))> to
> gain access to all of the provides in a module.  This is quite
> straightforward for normal procedures, but I also want this to include
> syntax.  However, I get this error when trying to dynamically require the
> blah macro from my test module:
>
> (dynamic-require "test.rkt" 'blah)
> blah: use does not match pattern: (blah body) in: blah
>
>   From the spec, it says that "If the module exports provided as syntax,
> then a use of the binding is expanded and evaluated in a fresh namespace to
> which the module is attached" when using dynamic-require.  I don't
> understand how it's being used, though.
>
>   Is there a way to use dynamic-require how I want?  Is there a better way?
>  Cody
>
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130131/51932c7b/attachment.html>

Posted on the users mailing list.