It turns out that the problem I was running into with "iterate"
was happening only because of a change in Clozure Common
Lisp (CCL, formerly known as OpenMCL) that was made
in the ITA branch.  assert and check-type were changed
so that the code coverage tool would not flag their
code as being "code that you should have covered".
After all, their code should never execute if the
problem is correct!  So assert was expanding into
a special form. that is not part of the CL standard.

To make it work, I modified our copy of iterate
to put "assert" into the *special-form-alist*.
It calls walk-cadr, which I added.

Would it be OK to contribute these changes back
to the official sources?

(If so, I'll also make check-type work.  Right
at the moment, I only need assert to work
because I'm using iterate because it's needed
by the stefil library, which does not use
check-type.)

Thanks.

-- Dan


_______________________________________________
iterate-devel site list
iterate-devel@common-lisp.net
http://common-lisp.net/mailman/listinfo/iterate-devel

Reply via email to