5

構文例外をテストするマクロで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))

それは可能ですか？そうでない場合、マクロのテストをどのように記述しますか？

test-read-eval-string私はsrfi-64から知っています。文字列を受け入れ、それをフォームに変換し、初期環境でこのフォームを評価します。現在の環境で特定のフォームを評価し、例外をキャッチするマクロが必要です。

4

1 に答える 1

3

これを行うための唯一の移植可能な方法は、evalを介してコードを呼び出し、それをガードでラップすることです。

例えば：

(define (safe-eval code env)
  (guard [e [(syntax-violation? e) (display e)]]
    (eval code env)))

使用法：

> (safe-eval '(let a v) (environment '(rnrs)))
&who: let
&message: "invalid syntax"
&syntax:
  form: (let a v)
  subform: #f
于 2012-12-05T09:26:54.587 に答える