#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). -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/61#comment:3> armedbear <http://common-lisp.net/project/armedbear> armedbear