3

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

4

1 に答える 1