DrRacket 中的宏步进器

Question

在链接http://www.ccs.neu.edu/ home/ryanc/macro-stepper/tutorial.html 有使用宏步进器的说明。

但是，当我要尝试时，我无法在非零的定义中得到 myor 的第二次展开？函数，只有第一个。另外，我没有“上一学期”和“下一学期”按钮。

所以我的问题是：我必须如何配置宏步进器才能获得第二次扩展，就像教程中一样？

Answer 1

我假设您的源程序看起来像这样：

#lang racket
(define-syntax myor
  (syntax-rules ()
    [(myor e) e]
    [(myor e1 . es)
     (let ([r e1]) (if r r (myor . es)))]))
(define (nonzero? r)
  (myor (negative? r)
        (positive? r)))

短篇故事：暂时使用 syntax-case 而不是 syntax-rules；似乎存在一些与宏步进器和语法规则相关的错误。我已向 Racket 开发人员发送了错误报告 ，所以希望这个问题能尽快得到解决。上述程序的syntax-case版本如下所示。

#lang racket

(define-syntax (myor stx)
  (syntax-case stx ()
    [(_ e) #'e]
    [(_ e1 . es)
     #'(let ([r e1]) (if r r (myor . es)))]))

(define (nonzero? r)
  (myor (negative? r)
        (positive? r)))

---

下面是更长的故事...

当我在 5.2.1 预发行版下运行您的程序时，我在宏步进器中看到以下内容，并将宏隐藏设置为“标准”：

(module anonymous-module racket
  (#%module-begin
   (define-syntax myor
     (syntax-rules () [(myor e) e] [(myor e1 . es) (let ([r e1]) (if r r (myor . es)))]))
   (define (nonzero? r)
     (let:26 ([r:26 (negative? r)]) (if:26 r:26 r:26 (myor:26 (positive? r)))))))

这看起来是错误的。它仅将 myor 的一种用法扩展为 if 的用法。很奇怪！

让我们看看 Racket 5.2 下是什么样子......

(module anonymous-module racket
  (#%module-begin
   (define-syntax myor
     (syntax-rules () [(myor e) e] [(myor e1 . es) (let ([r e1]) (if r r (myor . es)))]))
   (define (nonzero? r) (let ([r (negative? r)]) (if r r (myor (positive? r)))))))

啊。好的，我可以确认我看到了与您在 Racket 5.2 以及预发行版中看到的相同问题。

该错误似乎与“宏隐藏”功能的行为有关，该功能在设置为标准时试图不让您因完整扩展而不知所措。如果将其设置为“禁用”，您将看到宏调试器将显示扩展的完整、不加修饰的荣耀，并且它确实包含我们期望看到的扩展：

(module anonymous-module racket
  (#%module-begin
   (define-syntaxes (myor)
     (lambda (x)
        ; ... I'm omitting the content here: it's way too long.
     ))
   (define-values:20 (nonzero?)
     (lambda:21 (r) (let-values:22 (((r) (#%app:23 negative? r))) (if r r (#%app:24 positive? r)))))))

我将编写一个 错误报告并将其发送给 Racket 开发人员。

如果您使用syntax-case（而不是syntax-rules）编写宏，则它似乎与宏步进器配合使用效果更好。

#lang racket

(define-syntax (myor stx)
  (syntax-case stx ()
    [(_ e) #'e]
    [(_ e1 . es)
     #'(let ([r e1]) (if r r (myor . es)))]))

(define (nonzero? r)
  (myor (negative? r)
        (positive? r)))

当我完成这个步骤时，它似乎工作得更好。因此，无论触发该错误的是什么，它似乎都是与宏步进器和语法规则的某种交互。因此，请尝试使用 syntax-case 代替。

Answer 2

它对我有用，无需做任何额外的事情。尝试使用最新版本的 Racket，也尝试从菜单中选择不同的语言，并确保为您选择的语言选择了调试。