在链接http://www.ccs.neu.edu/home/ryanc/macro-stepper/tutorial.html上有使用宏步进器的说明。
但是,当我要尝试它时,我无法在非零的定义中获得 myor 的第二次扩展?功能,只有第一个。另外,我没有“上学期”和“下学期”按钮。
所以我的问题是:我必须如何配置宏步进器才能获得第二次扩展,就像在教程中一样?
在链接http://www.ccs.neu.edu/home/ryanc/macro-stepper/tutorial.html上有使用宏步进器的说明。
但是,当我要尝试它时,我无法在非零的定义中获得 myor 的第二次扩展?功能,只有第一个。另外,我没有“上学期”和“下学期”按钮。
所以我的问题是:我必须如何配置宏步进器才能获得第二次扩展,就像在教程中一样?
我假设您的源程序看起来像这样:
#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 开发人员发送了一份错误报告,因此希望这将很快得到修复。上述程序的语法案例版本如下所示。
#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,它似乎与 Macro Stepper 一起工作得更好。
#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)))
当我逐步完成时,它似乎工作得更好。所以无论是什么触发了这个错误,它似乎都是与 Macro Stepper 和syntax-rules的一些交互。因此,请尝试改用语法大小写。
它对我有用,无需做任何额外的事情。尝试使用最新版本的球拍,也尝试从菜单中选择不同的语言,并确保debugging
选择了您选择的语言。