Condition Type TYPE-ERROR
type-error
, error
, serious-condition
, condition
, t
型type-error
は、オブジェクトが期待した型ではないという 状況を表現しています。 「問題のデータ」と「期待した型」が、 make-condition
の初期化引数によって それぞれ:datum
と:expected-type
で指定されて生成され、 type-error-datum
とtype-error-expected-type
という 関数によってアクセスできます。
type-error-datum
, type-error-expected-type