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 in the enclosing module doesn't work (a is required without a type), but macro works fine. Getting back to thinking and trying. - Sergiu On Sunday, January 3, 2021 at 9:22:16 PM UTC+1 unlimitedscolobb wrote: > 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 are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/937fdcb5-2e59-46da-8a16-1262d35a97d1n%40googlegroups.com.
