May 2020 - armedbear-devel - mailman3.common-lisp.net

Re: armedbear-devel Digest, Vol 64, Issue 4
by Stephen Varey 20 May '20

20 May '20

I have also tried powerloom with Allegro common lisp which works fine. It works with LispWorks if you change one option to do with a the latin-1 char set. On Wed, May 20, 2020 at 2:00 PM <armedbear-devel-request(a)common-lisp.net> wrote: > Send armedbear-devel mailing list submissions to > armedbear-devel(a)common-lisp.net > > To subscribe or unsubscribe via the World Wide Web, visit > https://mailman.common-lisp.net/listinfo/armedbear-devel > or, via email, send a message with subject or body 'help' to > armedbear-devel-request(a)common-lisp.net > > You can reach the person managing the list at > armedbear-devel-owner(a)common-lisp.net > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of armedbear-devel digest..." > > > Today's Topics: > > 1. Re: help with verify error (Mark Evenson) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Tue, 19 May 2020 22:19:00 +0200 > From: Mark Evenson <evenson(a)panix.com> > To: abcl-dev <armedbear-devel(a)common-lisp.net> > Cc: Stephen Varey <srvarey(a)gmail.com> > Subject: Re: help with verify error > Message-ID: <C407C514-EE3B-4651-A4A0-1105B2651A7C(a)panix.com> > Content-Type: text/plain; charset=utf-8 > > > > > On May 18, 2020, at 18:42, Stephen Varey <srvarey(a)gmail.com> wrote: > > > > 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? > > 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]. > > [186]: https://github.com/armedbear/abcl/issues/186 > [467]: https://abcl.org/trac/ticket/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(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 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@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." > > > > > > > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > armedbear-devel mailing list > armedbear-devel(a)common-lisp.net > https://mailman.common-lisp.net/listinfo/armedbear-devel > > > ------------------------------ > > End of armedbear-devel Digest, Vol 64, Issue 4 > ********************************************** >

1 0

help with verify error
by Stephen Varey 19 May '20

19 May '20

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@54789d54 Restarts: 0: TOP-LEVEL Return to top level. [1] STELLA(2):

2 1

Re: Bug with lambda expressions (ABCL 1.6.1)
by Mark Evenson 07 May '20

07 May '20

> On May 7, 2020, at 23:14, Alan Ruttenberg <alanruttenberg(a)gmail.com> wrote: > > Nice catches! > Tests for both compiler bugs added via PROVE as <https://github.com/armedbear/abcl/pull/175>. […] -- "A screaming comes across the sky. It has happened before but there is nothing to compare to it now."

1 0

Bug with lambda expressions (ABCL 1.6.1)
by Paul Dietz 07 May '20

07 May '20

(compile nil '(lambda () ((lambda () ((lambda () 0)))))) => The value (LAMBDA NIL 0) is not of type SYMBOL. [Condition of type TYPE-ERROR] Restarts: 0: [TOP-LEVEL] Return to top level. Backtrace: 0: (#<FUNCTION {6495CFA3}> #<TYPE-ERROR {FAD3C52}> #<FUNCTION {6495CFA3}>) 1: (APPLY #<FUNCTION {6495CFA3}> (#<TYPE-ERROR {FAD3C52}> #<FUNCTION {6495CFA3}>)) 2: (SYSTEM::RUN-HOOK SYSTEM::*INVOKE-DEBUGGER-HOOK* #<TYPE-ERROR {FAD3C52}> #<FUNCTION {6495CFA3}>) 3: (INVOKE-DEBUGGER #<TYPE-ERROR {FAD3C52}>) 4: org.armedbear.lisp.Lisp.error(Lisp.java:382) 5: org.armedbear.lisp.Lisp.type_error(Lisp.java:435) 6: org.armedbear.lisp.Lisp.checkSymbol(Lisp.java:1097) 7: org.armedbear.lisp.Lisp.get(Lisp.java:1973) 8: org.armedbear.lisp.precompiler_53.execute(precompiler.lisp:402) 9: org.armedbear.lisp.Symbol.execute(Symbol.java:814) 10: org.armedbear.lisp.LispThread.execute(LispThread.java:832) 11: org.armedbear.lisp.precompiler_51.execute(precompiler.lisp:381) 12: org.armedbear.lisp.Symbol.execute(Symbol.java:803) 13: org.armedbear.lisp.LispThread.execute(LispThread.java:814) 14: org.armedbear.lisp.precompiler_48.execute(precompiler.lisp:350) 15: org.armedbear.lisp.Symbol.execute(Symbol.java:803) 16: org.armedbear.lisp.LispThread.execute(LispThread.java:814) 17: org.armedbear.lisp.precompiler_73.execute(precompiler.lisp:643) 18: org.armedbear.lisp.Symbol.execute(Symbol.java:803) 19: org.armedbear.lisp.LispThread.execute(LispThread.java:814) 20: org.armedbear.lisp.precompiler_48.execute(precompiler.lisp:350) 21: org.armedbear.lisp.Symbol.execute(Symbol.java:803) 22: org.armedbear.lisp.LispThread.execute(LispThread.java:814) 23: org.armedbear.lisp.precompiler_104.execute(precompiler.lisp:988) 24: org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:121) 25: org.armedbear.lisp.Symbol.execute(Symbol.java:826) 26: org.armedbear.lisp.compiler_pass2_362.execute(compiler-pass2.lisp:7436) 27: org.armedbear.lisp.Symbol.execute(Symbol.java:867) 28: org.armedbear.lisp.compiler_pass2_387.execute(compiler-pass2.lisp:7556) 29: org.armedbear.lisp.compiler_pass2_370.execute(compiler-pass2.lisp:7511) 30: org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:98) 31: org.armedbear.lisp.Symbol.execute(Symbol.java:803) 32: org.armedbear.lisp.compiler_pass2_386.execute(compiler-pass2.lisp:7556) 33: org.armedbear.lisp.Symbol.execute(Symbol.java:838) 34: org.armedbear.lisp.compiler_pass2_388.execute(compiler-pass2.lisp:7580) 35: org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:109) 36: org.armedbear.lisp.Symbol.execute(Symbol.java:814) 37: org.armedbear.lisp.compiler_pass2_392.execute(compiler-pass2.lisp:7650) 38: org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:109) 39: org.armedbear.lisp.LispThread.execute(LispThread.java:832) 40: org.armedbear.lisp.Lisp.evalCall(Lisp.java:582) 41: org.armedbear.lisp.Lisp.eval(Lisp.java:540) 42: org.armedbear.lisp.Primitives$pf__eval.execute(Primitives.java:345) 43: (PRECOMPILER::PRECOMPILE-FUNCTION-POSITION-LAMBDA (LAMBDA NIL ((LAMBDA NIL 0))) NIL) 44: (PRECOMPILER::PRECOMPILE-FUNCTION-CALL ((LAMBDA NIL (#)))) 45: (PRECOMPILER::PRECOMPILE1 ((LAMBDA NIL (#)))) 46: (PRECOMPILER::PRECOMPILE-LAMBDA (LAMBDA NIL ((LAMBDA NIL #)))) 47: (PRECOMPILER::PRECOMPILE1 (LAMBDA NIL ((LAMBDA NIL #)))) 48: (COMPILE NIL (LAMBDA NIL ((LAMBDA NIL #)))) 49: (SYSTEM::%EVAL (COMPILE NIL '(LAMBDA NIL (#)))) 50: (EVAL (COMPILE NIL '(LAMBDA NIL (#)))) 51: (SYSTEM:INTERACTIVE-EVAL (COMPILE NIL '(LAMBDA NIL (#)))) 52: (TOP-LEVEL::REPL) 53: (TOP-LEVEL::TOP-LEVEL-LOOP) ________________________________ The information contained in this e-mail and any attachments from GrammaTech, Inc may contain confidential and/or proprietary information, and is intended only for the named recipient to whom it was originally addressed. If you are not the intended recipient, any disclosure, distribution, or copying of this e-mail or its attachments is strictly prohibited. If you have received this e-mail in error, please notify the sender immediately by return e-mail and permanently delete the e-mail and any attachments.

2 1

Manually allowed your non-subscription address to post to armedbear-devel
by Mark Evenson 07 May '20

07 May '20

Paul, I’ve taken the liberty of manually allowing your recent messages to the <armedbear-devel@…> mailing list to propagate in spite of this address bot being subscribed to the list. [1]: https://mailman.common-lisp.net/pipermail/armedbear-devel/2020-May/004054.h… [2]: https://mailman.common-lisp.net/pipermail/armedbear-devel/2020-May/004055.h… If you wish your messages to go through without needing administrative approval, please consider subscribing to the list Happy to have your questions about ABCL: without the ANSI-TEST suite, we would be a much poorer Bear. sincerely, Mark -- "A screaming comes across the sky. It has happened before but there is nothing to compare to it now."

1 0

Bug with CATCH w. constant form
by Paul Dietz 07 May '20

07 May '20

(compile nil '(lambda () (dotimes (i 1 2) (catch 'c 3)))) ==> COMPILE-TAGBODY: tag not found: 3 [Condition of type SIMPLE-ERROR] Restarts: 0: [TOP-LEVEL] Return to top level. Backtrace: 0: (#<FUNCTION {6495CFA3}> #<SIMPLE-ERROR {74889B81}> #<FUNCTION {6495CFA3}>) 1: (APPLY #<FUNCTION {6495CFA3}> (#<SIMPLE-ERROR {74889B81}> #<FUNCTION {6495CFA3}>)) 2: (SYSTEM::RUN-HOOK SYSTEM::*INVOKE-DEBUGGER-HOOK* #<SIMPLE-ERROR {74889B81}> #<FUNCTION {6495CFA3}>) 3: (INVOKE-DEBUGGER #<SIMPLE-ERROR {74889B81}>) 4: (COMPILE NIL (LAMBDA NIL (DOTIMES (I 1 2) (CATCH 'C 3)))) 5: (SYSTEM::%EVAL (COMPILE NIL '(LAMBDA NIL (DOTIMES # #)))) 6: (EVAL (COMPILE NIL '(LAMBDA NIL (DOTIMES # #)))) 7: (SYSTEM:INTERACTIVE-EVAL (COMPILE NIL '(LAMBDA NIL (DOTIMES # #)))) 8: (TOP-LEVEL::REPL) 9: (TOP-LEVEL::TOP-LEVEL-LOOP) ________________________________ The information contained in this e-mail and any attachments from GrammaTech, Inc may contain confidential and/or proprietary information, and is intended only for the named recipient to whom it was originally addressed. If you are not the intended recipient, any disclosure, distribution, or copying of this e-mail or its attachments is strictly prohibited. If you have received this e-mail in error, please notify the sender immediately by return e-mail and permanently delete the e-mail and any attachments.

1 0