为什么Racket博士不展开嵌套宏？

Question

我正在使用5.3.1版的Racket博士。 我正在尝试使用宏步进器功能，“嵌套”宏有问题。 （通过“嵌套”宏，我的意思是宏扩展为包含更多（使用定义的）宏的形式。我不知道这是否是正确的术语）。 宏步进器只将这些宏扩展一次，然后再继续扩展就不再麻烦了。

例如，我在Dr. Racket定义区域中键入以下内容：

#lang racket

(define-syntax foo
  (syntax-rules ()
    ((foo a) 1)
    ((foo a stuff ...) (+ 1 (foo stuff ...)))))

(foo a b c d e)

运行此程序将按预期返回5。 此外，在“交互”窗口中输入(expand '(foo abcde))产生语法'(#%app + '1 (#%app + '1 (#%app + '1 (#%app + '1 '1)))) ，也符合预期。 但是，进入宏步进器（隐藏标准宏）并按“ End按钮，我只会看到(+ 1 (foo bcde)) 。 如果禁用宏隐藏，则可以得到预期的结果，但也会产生很多我不希望看到的线路噪声。

这是错误还是预期的行为？ 我发誓Racket博士以前就没有这种行为...

我实际上是在一个月前提交了与此有关的错误报告（ http://bugs.racket-lang.org/query/?cmd=view&pr=13203 ），但是随后我开始重新考虑是否是错误，所以我决定在这里问。

PS-关于此的其他随机注释：

它似乎取决于嵌套宏是否是扩展形式中的最外面的表达式。 例如，如果我定义（除了foo）：

(define-syntax bar
  (syntax-rules ()
    ((bar xs ...) (foo xs ...))))

(define-syntax baz
  (syntax-rules ()
    ((baz xs ...) (bar xs ...))))

(baz a b c d e)

然后宏步进器显示(baz abcde)扩展到(bar abcde)到(foo abcde)到(+ 1 (foo bcde)) ，但随后停止。

前面的示例可能使您认为它与扩展到自身的宏有关，但事实并非如此。 例如，如果我按以下方式重新定义foo：

(define-syntax foo
  (syntax-rules ()
    ((foo a) 1)
    ((foo a stuff ...) (+ 1 (blah stuff ...)))))

用

(define-syntax blah
  (syntax-rules ()
    ((blah xs ...) 10)))

然后(foo abcde)扩展为(+ 1 (blah bcde)) ，然后停止。

Answer 1

我不确定这是否是错误，尽管扩展代码中的foo与原始foo的颜色不同，所以我倾向于认为这是造成混淆的原因。

默认情况下，宏步进器会尝试简化扩展宏以仅显示模块中定义的宏以及字符串所需的文件（即来自“项目”的文件）。 这个功能似乎正在抛弃它。

解决此问题的一种方法（至少在较小的文件中）是禁用此功能。 为此，请转到窗口左下方显示的内容： Macro hiding: ，单击下拉菜单并选择Disable 。

Macro hiding: -> Disable

从那里，您应该看到模块的整个扩展，包括foo的扩展。