[racket-users] Re: Typed Racket: require macros from untyped modules

I continued doing various tests and realized that my problem was something else, since the following code works: #lang typed/racket (module untyped-submodule racket (provide a macro) (define a 2) (define-syntax-rule (macro arg) (+ 1 arg))) (require 'untyped-submodule) (macro 3) Using a

[racket-users] Typed Racket: require macros from untyped modules

Hello, How can I require macros coming from untyped modules into typed modules? Intuitively I'd expect that to be possible in a way or another because such imports don't seem to violate any safety guarantees, but maybe I'm missing something. - Sergiu -- You received this message because you

Re: [racket] Require macros

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hey Ryan, many thanks for the response, it helped a great deal in crafting what I needed. I still have to grok completely why things work the way they do in this case, but alas, I have a working prototype. Here it is in case someone has some use for i

Re: [racket] Require macros

On 01/11/2011 09:08 AM, Eduardo Bellani wrote: Hello list. I am having a bit of a pain with trying to create a custom require syntax. I am trying to save some typing in an MVC like application by building some macros to recognize in the test files where the files to be tested are. I have 2 doub

[racket] Require macros

Hello list. I am having a bit of a pain with trying to create a custom require syntax. I am trying to save some typing in an MVC like application by building some macros to recognize in the test files where the files to be tested are. I have 2 doubts I think, one is how to retrieve the module nam