私は、次の言語定義ファイルを使用しています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 定義を再公開するためにさまざまな方法を試しましたが、うまくいきませんでした。助言がありますか?