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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/937fdcb5-2e59-46da-8a16-1262d35a97d1n%40googlegroups.com.