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.


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 

Reply via email to