禁用太多ifs启发式

Question

如何禁用太多ifs启发式？有时证明人会去吃午饭，当我打断它时，我可以看到证明人正忙着拨打too-many-ifs0和count-ifs-lst。

Answer 1

您可以通过发出以下表单将太多ifs启发式转换为有效的无操作。请注意，如果您在书中使用这些内容，则可能需要制作以下每种形式＆＃34; local＆＃34;：

(defn too-many-ifs-pre-rewrite-noop (args counts)
  (declare (ignore args counts))
  nil)

(defattach too-many-ifs-pre-rewrite too-many-ifs-pre-rewrite-noop)

(defn too-many-ifs-post-rewrite-noop (args counts)
  (declare (ignore args counts))
  nil)

(defattach too-many-ifs-post-rewrite too-many-ifs-post-rewrite-noop)