help with verify error

Stephen Varey srvarey at gmail.com
Mon May 18 16:42:27 UTC 2020 

I am trying to load powerloom into abcl.

If you download powerloom (
https://www.isi.edu/isd/LOOM/PowerLoom/download.html#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?




CL-USER(1):
; Caught STYLE-WARNING:
;   redefining STELLA::GET-SGT in
#P"/home/srv/powerloom-4.0.10/native/lisp/stella/symbols.slisp" (previously
defined in
#P"/home/srv/powerloom-4.0.10/native/lisp/stella/cl-lib/cl-setup.slisp")

; Caught STYLE-WARNING:
;   redefining STELLA::/STELLA/DEFMODULE in
#P"/home/srv/powerloom-4.0.10/native/lisp/stella/cl-lib/stella-to-cl.slisp"
(previously defined in
#P"/home/srv/powerloom-4.0.10/native/lisp/stella/modules.slisp")

; Caught STYLE-WARNING:
;   redefining STELLA::/STELLA/DEFDEMON in
#P"/home/srv/powerloom-4.0.10/native/lisp/stella/cl-lib/stella-to-cl.slisp"
(previously defined in
#P"/home/srv/powerloom-4.0.10/native/lisp/stella/demons.slisp")


; Compilation unit finished
;   Caught 3 STYLE-WARNING conditions


*** This Stella image uses CL-structs instead of CLOS instances ***

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(Class.java:2671)
at java.lang.Class.getConstructor0(Class.java:3075)
at java.lang.Class.newInstance(Class.java:412)
at org.armedbear.lisp.FaslClassLoader.loadFunction(FaslClassLoader.java:130)
at
org.armedbear.lisp.FaslClassLoader$pf_get_fasl_function.execute(FaslClassLoader.java:165)
at org.armedbear.lisp.LispThread.execute(LispThread.java:832)
at org.armedbear.lisp.Lisp.evalCall(Lisp.java:582)
at org.armedbear.lisp.Lisp.eval(Lisp.java:540)
at org.armedbear.lisp.Lisp.evalCall(Lisp.java:577)
at org.armedbear.lisp.Lisp.eval(Lisp.java:540)
at org.armedbear.lisp.Lisp.progn(Lisp.java:709)
at
org.armedbear.lisp.SpecialOperators$sf_progn.execute(SpecialOperators.java:273)
at org.armedbear.lisp.Lisp.eval(Lisp.java:530)
at org.armedbear.lisp.Load.faslLoadStream(Load.java:667)
at org.armedbear.lisp.Load$init_fasl.execute(Load.java:457)
at org.armedbear.lisp.LispThread.execute(LispThread.java:832)
at org.armedbear.lisp.Lisp.evalCall(Lisp.java:582)
at org.armedbear.lisp.Lisp.eval(Lisp.java:540)
at org.armedbear.lisp.Load.loadStream(Load.java:629)
at org.armedbear.lisp.Load.loadFileFromStream(Load.java:597)
at org.armedbear.lisp.Load.load(Load.java:224)
at org.armedbear.lisp.Load.load(Load.java:745)
at org.armedbear.lisp.Load$_load.execute(Load.java:693)
at org.armedbear.lisp.Symbol.execute(Symbol.java:852)
at org.armedbear.lisp.LispThread.execute(LispThread.java:894)
at org.armedbear.lisp.load_1.execute(load.lisp:33)
at org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:98)
at org.armedbear.lisp.Symbol.execute(Symbol.java:803)
at
org.armedbear.lisp.cl_translate_file_22.execute(cl-translate-file.slisp:357)
at org.armedbear.lisp.compiler_pass2_370.execute(compiler-pass2.lisp:7511)
at org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:98)
at org.armedbear.lisp.Symbol.execute(Symbol.java:803)
at
org.armedbear.lisp.cl_translate_file_21.execute(cl-translate-file.slisp:357)
at org.armedbear.lisp.Symbol.execute(Symbol.java:826)
at org.armedbear.lisp.systems_67.execute(systems.slisp:1266)
at org.armedbear.lisp.Symbol.execute(Symbol.java:826)
at org.armedbear.lisp.systems_63.execute(systems.slisp:1192)
at org.armedbear.lisp.Symbol.execute(Symbol.java:814)
at org.armedbear.lisp.systems_51.execute(systems.slisp:922)
at org.armedbear.lisp.Symbol.execute(Symbol.java:814)
at org.armedbear.lisp.systems_40.execute(systems.slisp:692)
at org.armedbear.lisp.Symbol.execute(Symbol.java:814)
at org.armedbear.lisp.systems_41.execute(systems.slisp:755)
at org.armedbear.lisp.Symbol.execute(Symbol.java:814)
at org.armedbear.lisp.systems_42.execute(systems.slisp:782)
at org.armedbear.lisp.walk_401.execute(walk.slisp:6703)
at org.armedbear.lisp.Symbol.execute(Symbol.java:803)
at org.armedbear.lisp.walk_395.execute(walk.slisp:6641)
at org.armedbear.lisp.Symbol.execute(Symbol.java:803)
at org.armedbear.lisp.systems_33.execute(systems.slisp:561)
at org.armedbear.lisp.Symbol.execute(Symbol.java:814)
at org.armedbear.lisp.systems_34.execute(systems.slisp:611)
at org.armedbear.lisp.Symbol.execute(Symbol.java:803)
at org.armedbear.lisp.systems_45.execute(systems.slisp:813)
at org.armedbear.lisp.Symbol.execute(Symbol.java:803)
at org.armedbear.lisp.systems_51.execute(systems.slisp:922)
at org.armedbear.lisp.LispThread.execute(LispThread.java:832)
at org.armedbear.lisp.Lisp.evalCall(Lisp.java:582)
at org.armedbear.lisp.Lisp.eval(Lisp.java:540)
at org.armedbear.lisp.Lisp.eval(Lisp.java:533)
at org.armedbear.lisp.Lisp.progn(Lisp.java:709)
at org.armedbear.lisp.Primitives$sf_unless.execute(Primitives.java:867)
at org.armedbear.lisp.Lisp.eval(Lisp.java:530)
at org.armedbear.lisp.Load.loadStream(Load.java:629)
at org.armedbear.lisp.Load.loadFileFromStream(Load.java:597)
at org.armedbear.lisp.Load.load(Load.java:224)
at org.armedbear.lisp.Load.load(Load.java:745)
at org.armedbear.lisp.Load$_load.execute(Load.java:693)
at org.armedbear.lisp.Symbol.execute(Symbol.java:852)
at org.armedbear.lisp.LispThread.execute(LispThread.java:894)
at org.armedbear.lisp.load_1.execute(load.lisp:33)
at org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:98)
at org.armedbear.lisp.LispThread.execute(LispThread.java:814)
at org.armedbear.lisp.Lisp.evalCall(Lisp.java:575)
at org.armedbear.lisp.Lisp.eval(Lisp.java:540)
at org.armedbear.lisp.Lisp.eval(Lisp.java:538)
at org.armedbear.lisp.Primitives$pf__eval.execute(Primitives.java:345)
at org.armedbear.lisp.LispThread.execute(LispThread.java:814)
at org.armedbear.lisp.Lisp.evalCall(Lisp.java:575)
at org.armedbear.lisp.Lisp.eval(Lisp.java:540)
at org.armedbear.lisp.Lisp.progn(Lisp.java:709)
at org.armedbear.lisp.Primitives$sf_block.execute(Primitives.java:3743)
at org.armedbear.lisp.Lisp.eval(Lisp.java:530)
at org.armedbear.lisp.Lisp.progn(Lisp.java:709)
at org.armedbear.lisp.Closure.execute(Closure.java:220)
at org.armedbear.lisp.Closure.execute(Closure.java:148)
at org.armedbear.lisp.LispThread.execute(LispThread.java:814)
at org.armedbear.lisp.Lisp$1.execute(Lisp.java:285)
at org.armedbear.lisp.Symbol.execute(Symbol.java:803)
at org.armedbear.lisp.LispThread.execute(LispThread.java:814)
at org.armedbear.lisp.top_level_47.execute(top-level.lisp:407)
at org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:89)
at org.armedbear.lisp.Symbol.execute(Symbol.java:793)
at org.armedbear.lisp.LispThread.execute(LispThread.java:798)
at org.armedbear.lisp.top_level_48.execute(top-level.lisp:415)
at org.armedbear.lisp.LispThread.execute(LispThread.java:798)
at org.armedbear.lisp.Interpreter.run(Interpreter.java:361)
at org.armedbear.lisp.Main$1.run(Main.java:48)
at java.lang.Thread.run(Thread.java:745)
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):
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/armedbear-devel/attachments/20200518/e3fce33b/attachment.htm>

More information about the armedbear-devel mailing list