> On Apr 12, 2019, at 6:00 PM, Raoul Schorer <raoul.scho...@gmail.com> wrote:
>
> Is there a way to achieve expansion to typed/racket from my custom language,
> please?
With the caveat that I'm probably overlooking some wrinkle pertaining to Typed
Racket — in general, the language of the expander module doesn't need to be
same as the language of the `#%module-begin`. I have used this pattern before
successfully. I don't know if this solves your problem in the large. But it
makes your toy example work.
;; expander.rkt
#lang racket
(require (prefix-in tr: (only-in typed/racket #%module-begin)))
(provide (rename-out [module-begin/j #%module-begin]))
(define-syntax (module-begin/j stx)
(syntax-case stx ()
[(_ a) #`(tr:#%module-begin 2)]))
--
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.
For more options, visit https://groups.google.com/d/optout.
