help with verify error

Mark Evenson evenson at
Tue May 19 20:19:00 UTC 2020

> On May 18, 2020, at 18:42, Stephen Varey <srvarey at> wrote:
> I am trying to load powerloom into abcl. 
> If you download powerloom (
> start abcl and then (load "~/powerloom-4.0.10/load-powerloom.lisp") ;;; assuming downloaded into home directory
> It fails with the following stacktrace.
> Can you help?

This code expresses a bug in the compiler.  Due to the ISI codebase doing what
would be considered nowawdays real hacks around compilation, it will take a bit
of effort to isolate the exact problem in the compiler, but it gives a
practical problem to improve the disassembly tools.

The ISI codebase hasn’t been updated since 2010.  It works under CCL, but not
SBCL so ABCL isn’t the only implementation with problems here.  

I’ve filed [an issue][186][467].


Thanks for trying out the Bear; we’ll see what we can do to get your code
running, as it is a great example of a substantial application.

> STELLA 3.5.35 loaded.
> Type `(in-package "STELLA")' to execute STELLA commands.Making required system logic
> java.lang.VerifyError: (class: org/armedbear/lisp/pl_kernel_kb_2, method: <clinit> signature: ()V) Bad type in putfield/putstatic
> at java.lang.Class.getDeclaredConstructors0(Native Method)
> at java.lang.Class.privateGetDeclaredConstructors(
> at java.lang.Class.getConstructor0(
> at java.lang.Class.newInstance(
> at org.armedbear.lisp.FaslClassLoader.loadFunction(
> at
> Error loading /home/srv/powerloom-4.0.10/native/lisp/bin/lisp/logic/pl-kernel-kb.sabcl at line 44 (offset 3242)
> #<THREAD "interpreter" {5B983350}>: Debugger invoked on condition of type ERROR
>   Compiled function can't be loaded: org.armedbear.lisp.pl_kernel_kb_2 from org.armedbear.lisp.Pathname at 54789d54
> Restarts:
>   0: TOP-LEVEL Return to top level.
> [1] STELLA(2): 

"A screaming comes across the sky.  It has happened before but there is nothing 
to compare to it now."

More information about the armedbear-devel mailing list