mb-bug.rkt

#lang racket/load


(module lang racket/base
  (require (for-syntax racket/base))
  (provide (rename-out [mb #%module-begin]) (except-out (all-from-out racket/base) #%module-begin))
  (define-syntax (mb stx)
    (syntax-case stx ()
      [(_ rest ...)
       (local-expand #'(#%plain-module-begin rest ...) 'module-begin null)])))

(module lang2 racket/base
  (require (for-syntax racket/base))
  (provide (rename-out [mb #%module-begin]) (except-out (all-from-out racket/base) #%module-begin))
  (define-syntax (mb stx)
    (syntax-case stx ()
      [(_ rest ...)
       #'(#%plain-module-begin (begin-for-syntax (module* foo #f)) rest ...)])))

(module n 'lang
  (module m 'lang2))

; module*: unbound identifier in the transformer environment;
;  also, no #%app syntax transformer is bound in: module*