From: Paul F. Dietz <dietz@dl...> - 2005-03-12 12:59:29
I am seeing this error message:
IR2 type checking of unused values in not implemented.
in many of the tests loaded by ansi-tests' random-type-prop-tests.lsp.
This error apparently occurs with forms that look like
(the (eql <something>) <var>)
where the form is unused is unused.
Since this is interfering with the ability of the random-type-prop
tester to find bugs, I'd appreciate a fix or workaround.