trace-define-syntax.rkt

#lang racket
(module ...

  (define-syntax (trace syn)
    ....)
    
  (define-syntax (trace-define-syntax syn)
    (syntax-case syn ()
      [(_ e ...)
       ....
       (syntax-local-lift-require
         '(for-syntax (only racket/trace trace))
         #`(define-syntax #,name
            (let ([#,name #,def]) (trace #,name) #,name))))]))
)