Hi Mark,
Thanks for looking into the issue.
On Thu, Aug 27, 2009 at 11:38 AM, Mark Evensonevenson@panix.com wrote:
On 8/27/09 8:09 AM, Mark Evenson wrote:
Tentatively fixed in [svn 12119][1].
I'm leaving ticket#61 open until
- Erik looks at the patch
I did so now (i'm off today). 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
- We decide whether we shouldn't add a call to the Lisp-side TYPEP at
the end of LispObject.typep()
That would create a recursive dependency: TYPEP uses typep() to verify the simpler types.
I committed r12124 as a proposed solution: it detects when a symbol specifies a DEFTYPE-d type and punts on the expansion and type verification if it is.
What's your comment?
Bye,
Erik.