[racket] Lifting submodules

From: Eric Dobson (eric.n.dobson at gmail.com)
Date: Fri Sep 13 22:41:55 EDT 2013

Which lifting function? All of the ones I found didn't do what I
needed when called from an expression context, as the lifted syntax
was also in expression context. (syntax-local-lift-expression, and
syntax-local-lift-module-end-declaration)

On Fri, Sep 13, 2013 at 1:53 PM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
>
> Lift the module definition to top and require in the expression position?
>
>
> On Sep 13, 2013, at 12:08 PM, Eric Dobson wrote:
>
>> I want to write a macro which generates submodules and then possibly
>> requires them. This is so that can easily use another language (TR)
>> for the expression.
>>
>> If all uses of the macro are at the top-level/module-level this is
>> easy and I can expand out to something like:
>> (begin
>>  (module new-mod typed/racket <expr and provides>)
>>  (require 'new-mod)
>>  <use exports>)
>>
>> But I don't see how I can do something like this when the use is in an
>> expression context or an internal-definition context. Is there a way
>> to do this?
>> ____________________
>>  Racket Users list:
>>  http://lists.racket-lang.org/users
>

Posted on the users mailing list.