Scheme 如何捕获语法异常

我想通过测试语法异常的宏来扩展srfi-78。我想要这样的东西：

#! /usr/bin/env scheme-script
#!r6rs

(import (rnrs) (srfi :78 lightweight-testing))

; the macros I want to test
(define-syntax some-macros
  (syntax-rules ()
    [(_) 'ok]))

; the extension to srfi-78
(define-syntax check-exception
  (syntax-rules ()
        ; ... some code ...
        ))

; tests

; prints "correct" or someting like that
(check (some-macros) => 'ok)

; should print "correct" (i. e. the test passed)
(check-exception (some-macros 'arg)) 

; should print "error"
; (i. e. the exception was not thrown as expected)
(check-exception (some-macros)) 

有可能吗？如果没有，您将如何为宏编写测试

---

我从srfi-64了解测试读取评估字符串。它接受一个字符串，将其转换为一个表单，并在初始环境中计算该表单。我需要一个在当前环境中计算给定表单并捕获异常的宏。

实现这一点的唯一可移植方法是，通过eval调用代码，并将其包装在一个保护中

例如：

用法：

> (safe-eval '(let a v) (environment '(rnrs)))
&who: let
&message: "invalid syntax"
&syntax:
  form: (let a v)
  subform: #f

---

这不适用于宏，因为宏扩展在计算

safe eval

之前进行。请注意，代码被引用，因此扩展将只在eval中进行。好的，谢谢。不幸的是，这不是我想要的，因为要使用

safe eval

我必须将宏的定义传递给它：

（safe eval'（begin（define syntax some macros…（some macros））

）。它几乎与上面接受表单而不是字符串的

test read eval string

相同。我想测试已经定义的宏。这似乎是不可能的。如果你的宏是在库中实现的，我看不出问题。太好了。该库可以导入到传递到

安全评估的环境中。非常感谢。
> (safe-eval '(let a v) (environment '(rnrs)))
&who: let
&message: "invalid syntax"
&syntax:
  form: (let a v)
  subform: #f