(球拍)“无法在定义前引用标识符”，标识符从模块导入

Question

我有一个文件"exceptions.rkt“

#lang racket
(module exceptions racket
  (provide Macro/Raise Macro/Assert Macro/Assert* Macro/Domain-Assert)

; ... Definitions for provided symbols...

) ; End of module, end of file

Macro/Raise等实际上不是用define-语法定义的宏，它们只是用syntax-rules生成并分配了名称的一元函数

(define Macro/Raise
  (syntax-rules ()
; ... body not important ...
))

在与"exceptions.rkt“相同的文件夹中，我有一个文件"tables.rkt”。

#lang racket
(module tables racket
    (require "exceptions.rkt")
    (define-syntax Assert Macro/Assert)

; ... more stuff...

) ; End of module, end of file

但这会导致Macro/Assert: undefined; cannot reference an identifier before its definition in module: 'tables phase: 1

我试着看过医生，但不知道我做错了什么。那么我到底做错了什么呢？

Answer 1

为了使定义在宏定义阶段可用，请使用for-syntax

(require (for-syntax "exceptions.rkt"))

Answer 2

而且，您不需要在代码上使用(module exceptions racket ...)包装器，因为#lang racket已经生成了一个模块。