#61: Compilation of THE with DEFTYPE -----------------------+---------------------------------------------------- Reporter: mevenson | Owner: ehuelsmann Type: defect | Status: closed Priority: major | Milestone: unscheduled Component: compiler | Version: 1.0 Resolution: fixed | Keywords: -----------------------+---------------------------------------------------- Changes (by mevenson):
* status: new => closed * resolution: => fixed
Comment:
Erik fixed (and reverted r12119) with r12124 by punting on the verification of the type of a DEFTYPEd form.
He comments in (armedbear-devel)
{{{ I must say that I intentionally did not use TYPEP because of 2 reasons:
1. It's not quite clear when it becomes available to the interpreter while I wanted type validation from the start
2. It will expand all types, but some Lisp types take a lot of time to verify so, I choose the same policy as the compiler under *safety* settings lower than 3
}}}
My proposed further solution (call Lisp TYPEP at the end of the Java typep() override chain) would create a recursive dependency.
We close this ticket, by noting that ABCL's THE special operator is a bit better than before, but won't verify all types (this is allowed by the ANSI specification).