Re: [racket-dev] submodule in macro

2013-01-29 Thread Matthew Flatt
At Sat, 26 Jan 2013 10:36:52 -0500, Matthias Felleisen wrote: > > [[ I don't really understand the answer. I mean >I understand the technicality but not the spirit. ]] > > The 'f' comes from the macro input in both cases. > Hence the rename-out could be seen as the actual > name required.

Re: [racket-dev] submodule in macro

2013-01-29 Thread Matthew Flatt
There seems to be a problem with `expand' and `quote'd module names. You can work around the problem by using `(submod "." tmp-module-name)'. At Mon, 28 Jan 2013 03:30:21 -0500, Stephen Chang wrote: > Actually, moving the rename to the require doesnt work either. But now > there's a different erro

Re: [racket-dev] submodule in macro

2013-01-28 Thread Stephen Chang
Actually, moving the rename to the require doesnt work either. But now there's a different error. Welcome to DrRacket, version 5.3.2.2 [3m]. Language: racket [custom]. . . ..\..\plt\collects\racket\require-transform.rkt:266:2: syntax-local-module-exports: unknown module module name: # > On Sat,

Re: [racket-dev] submodule in macro

2013-01-26 Thread Matthias Felleisen
[[ I don't really understand the answer. I mean I understand the technicality but not the spirit. ]] The 'f' comes from the macro input in both cases. Hence the rename-out could be seen as the actual name required. On Jan 26, 2013, at 6:55 AM, Matthew Flatt wrote: > At Sat, 26 Jan 201

Re: [racket-dev] submodule in macro

2013-01-26 Thread Stephen Chang
Thanks for the clarification. On Jan 26, 2013 6:55 AM, "Matthew Flatt" wrote: > At Sat, 26 Jan 2013 01:12:04 -0500, Stephen Chang wrote: > > Is this a supported use of submodules? > > > > > > #lang racket > > > > (define-syntax (def-wrapped stx) > > (syntax-case stx () > > [(_ (f arg ...)

Re: [racket-dev] submodule in macro

2013-01-26 Thread Matthew Flatt
At Sat, 26 Jan 2013 01:12:04 -0500, Stephen Chang wrote: > Is this a supported use of submodules? > > > #lang racket > > (define-syntax (def-wrapped stx) > (syntax-case stx () > [(_ (f arg ...) body ...) > #'(begin > (module tmp-module-name racket >(define (f-tmp

[racket-dev] submodule in macro

2013-01-25 Thread Stephen Chang
Is this a supported use of submodules? #lang racket (define-syntax (def-wrapped stx) (syntax-case stx () [(_ (f arg ...) body ...) #'(begin (module tmp-module-name racket (define (f-tmp arg ...) (displayln "wrapper") body ...) (provide (rename-out [f-tmp