私は、次の言語定義ファイルを使用していますeopl-printing.rkt。
#ラングラケット
(require (except-in eopl #%module-begin))
(provide (all-from-out eopl))
(#%module-begin を提供)DrRacket EOPL スキームの出力
で示唆されているように。次のように exn 関数を呼び出そうとした場合を除いて、すべてが順調に進んでいます。
#lang s-exp "eopl-printing.rkt"
(ラックユニットが必要)
(チェック拡張子
exn:失敗?
(ラムダ ()
(エラー「こんにちは」)))
期待どおりにテストが成功する代わりに、「exn:fail?: unbound identifier ...」というメッセージが表示されます。モジュールに関するドキュメントを読み、Racket の exn 定義を再公開するためにさまざまな方法を試しましたが、うまくいきませんでした。助言がありますか?