EoPL reading (56) 2.2 An Abstraction for Inductive Data Type - yamanetoshi's diary

昨晩のヤリ残しな試験を書いた。以下な部分。 (and (pair? variant) (memq (car variant) (car type-info)) #t)試験は以下。 (test* "argument is not pair" #f (bintree? 1)) (test* "car of argument is not 'leaf-node and 'interior-node" #f (bintree? '(x)))あら? 上記は以下の通りパスしてるんですが test argument is not pair, expects #f ==> ok test car of argument is not 'leaf-node and 'interior-node, expects #f ==> ok上記の試験、ってか実装を見るに述語な手続きは car がナニだったら OK な