[CLJ-760] ClassNotFound when AOT compiling a self-referring deftype extended to a protocol Created: 18/Mar/11 Updated: 18/Apr/14 Resolved: 18/Apr/14
|Affects Version/s:||Release 1.2|
Clojure 1.2.0, 1.2.1, 1.3.0-alpha6, JDK 1.6.0_24, Ubuntu 10.10
If I create a deftype that refers to itself in a protocol extension like below:
And use that code via another namespace:
When I try to AOT compile the test-type-user namespace with Clojure 1.2.0, I get java.lang.NoClassDefFoundError: compilestub/type-test/TypeTest (test_type_user.clj:5). Full stack trace attached. Running the same code on 1.2.1 and 1.3.0-alpha6 yielded the same exception with a slightly different error message (stacktrace for 1.2.1 is also in the attached file).
This came up in a test at Revelytix. We worked around this issue by not using instance? and instead comparing based on class name. Another workaround is to define the deftype and the extension separately (using extend-type or something similar). This problem also doesn't occur if the usage of the deftype and the definition of it are in the same namespace (i.e. if type-test and test-type-user were in the same file).
|Comment by Alex Miller [ 18/Mar/11 10:27 AM ]|
The first case where we saw this was actually in having a deftype implement a Java interface (not a protocol) and in that case you cannot extend the interface outside the deftype (although comparing based on class name of course works).
|Comment by Kevin Downey [ 17/Apr/14 10:55 PM ]|
I wonder if this could be a problem with the way the compiler does intrinsic magic for "instance?", there have been other bugs and significant changes to that part of the compiler in 2 years.
I am unable to reproduce this issue on clojure 1.6 or 1.5.1
|Comment by Kevin Downey [ 17/Apr/14 10:57 PM ]|
may be a dup of http://dev.clojure.org/jira/browse/CLJ-698
|Comment by Alex Miller [ 18/Apr/14 7:03 AM ]|
NR on Clojure 1.6.0.