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

[armedbear-devel] asdf2 meets jar files
by Alan Ruttenberg 11 May '10

11 May '10

(asdf::initialize-source-registry '(:source-registry :ignore-inherited-configuration (:tree "jar:file:/Users/alanr/Desktop/jar2go.jar!/"))) -> WARNING: Error while scanning system definitions under directory #P"jar:file:/Users/alanr/Desktop/jar2go.jar!/": Unsupported directory component :WILD-INFERIORS.

2 1

[armedbear-devel] expecting to find integer on stack
by Alan Ruttenberg 10 May '10

10 May '10

Fresh svn update. Compiled with Java 1.5 on OSX File attached. laptop:~/repos/abcl % ./abcl --noinit Armed Bear Common Lisp 0.20.0-dev Java 1.5.0_19 Apple Inc. Java HotSpot(TM) Client VM Low-level initialization completed in 0.363 seconds. Startup completed in 0.914 seconds. Type ":help" for a list of available commands. CL-USER(1): (compile-file "/Users/alanr/repos/lsw/trunk/owlapi3/patmatch.lisp") ; Compiling /Users/alanr/repos/lsw/trunk/owlapi3/patmatch.lisp ... ; (DEFUN VARIABLE-P ...) ; (DEFUN PAT-MATCH ...) ; in (DEFUN PAT-MATCH ...) ; Caught STYLE-WARNING: ; Undefined variable NO-BINDINGS assumed special ; Caught STYLE-WARNING: ; Undefined variable FAIL assumed special ; Caught STYLE-WARNING: ; Undefined variable *OWL2-VOCABULARY-FORMS* assumed special ; (SETF (GET # ...) ...) ; (SETF (GET # ...) ...) ; (SETF (GET # ...) ...) ; (SETF (GET # ...) ...) ; (SETF (GET # ...) ...) ; (SETF (GET # ...) ...) ; (SETF (GET # ...) ...) ; (SETF (GET # ...) ...) ; (SETF (GET # ...) ...) ; (DEFUN SEGMENT-PATTERN-P ...) ; (DEFUN SINGLE-PATTERN-P ...) ; (DEFUN SEGMENT-MATCHER ...) ; (DEFUN SINGLE-MATCHER ...) ; (DEFUN SEGMENT-MATCH-FN ...) ; (DEFUN SINGLE-MATCH-FN ...) ; (DEFUN MATCH-IS ...) ; in (DEFUN MATCH-IS ...) ; Caught STYLE-WARNING: ; Undefined variable FAIL assumed special ; (DEFUN MATCH-AND ...) ; in (DEFUN MATCH-AND ...) ; Caught STYLE-WARNING: ; Undefined variable FAIL assumed special ; (DEFUN MATCH-OR ...) ; in (DEFUN MATCH-OR ...) ; Caught STYLE-WARNING: ; Undefined variable FAIL assumed special ; (DEFUN MATCH-NOT ...) ; in (DEFUN MATCH-NOT ...) ; Caught STYLE-WARNING: ; Undefined variable FAIL assumed special ; (DEFUN SEGMENT-MATCH ...) ; in (DEFUN SEGMENT-MATCH ...) ; Caught STYLE-WARNING: ; Undefined variable FAIL assumed special ; (DEFUN FIRST-MATCH-POS ...) ; (DEFUN SEGMENT-MATCH+ ...) ; (DEFUN SEGMENT-MATCH? ...) ; (DEFUN SEGMENT-ATOM-MATCH? ...) ; (DEFUN MATCH-OPTIONAL-ATOM ...) ; in (DEFUN MATCH-OPTIONAL-ATOM ...) ; Caught STYLE-WARNING: ; Undefined variable FAIL assumed special ; (DEFUN MATCH-IF ...) ; Compilation unit finished ; Caught 9 STYLE-WARNING conditions ; The following functions were used but not defined: ; MATCH-VARIABLE java.lang.VerifyError: (class: org/armedbear/lisp/patmatch_19, method: execute signature: (Lorg/armedbear/lisp/LispObject;Lorg/armedbear/lisp/LispObject;Lorg/armedbear/lisp/LispObject;)Lorg/armedbear/lisp/LispObject;) Expecting to find integer on stack at java.lang.Class.getDeclaredConstructors0(Native Method) at java.lang.Class.privateGetDeclaredConstructors(Class.java:2357) at java.lang.Class.getConstructor0(Class.java:2671) at java.lang.Class.newInstance0(Class.java:321) at java.lang.Class.newInstance(Class.java:303) at org.armedbear.lisp.Lisp.makeCompiledFunctionFromClass(Lisp.java:1286) at org.armedbear.lisp.Lisp.loadClassBytes(Lisp.java:1347) at org.armedbear.lisp.Lisp.loadClassBytes(Lisp.java:1340) at org.armedbear.lisp.AutoloadedFunctionProxy.loadPreloadedFunction(AutoloadedFunctionProxy.java:224) at org.armedbear.lisp.CompiledClosure$1.execute(CompiledClosure.java:232) at org.armedbear.lisp.Symbol.execute(Symbol.java:776) at org.armedbear.lisp.LispThread.execute(LispThread.java:568) at org.armedbear.lisp.compile_file_7.execute(compile-file.lisp:71) at org.armedbear.lisp.LispThread.execute(LispThread.java:552) at org.armedbear.lisp.Java$pf_jrun_exception_protection.execute(Java.java:1128) at org.armedbear.lisp.Symbol.execute(Symbol.java:776) at org.armedbear.lisp.LispThread.execute(LispThread.java:568) at org.armedbear.lisp.compile_file_5.execute(compile-file.lisp:71) at org.armedbear.lisp.Symbol.execute(Symbol.java:776) at org.armedbear.lisp.LispThread.execute(LispThread.java:568) at org.armedbear.lisp.compile_file_10.execute(compile-file.lisp:103) at org.armedbear.lisp.Symbol.execute(Symbol.java:799) at org.armedbear.lisp.LispThread.execute(LispThread.java:602) at org.armedbear.lisp.compile_file_40.execute(compile-file.lisp:486) at org.armedbear.lisp.LispThread.execute(LispThread.java:552) at org.armedbear.lisp.Java$pf_jrun_exception_protection.execute(Java.java:1128) at org.armedbear.lisp.Symbol.execute(Symbol.java:776) at org.armedbear.lisp.LispThread.execute(LispThread.java:568) at org.armedbear.lisp.compile_file_37.execute(compile-file.lisp:486) at org.armedbear.lisp.compiler_pass2_579.execute(compiler-pass2.lisp:8685) at org.armedbear.lisp.LispThread.execute(LispThread.java:552) at org.armedbear.lisp.Java$pf_jrun_exception_protection.execute(Java.java:1128) at org.armedbear.lisp.Symbol.execute(Symbol.java:776) at org.armedbear.lisp.compiler_pass2_575.execute(compiler-pass2.lisp:8685) at org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:101) at org.armedbear.lisp.AutoloadedFunctionProxy.execute(AutoloadedFunctionProxy.java:145) at org.armedbear.lisp.Symbol.execute(Symbol.java:776) at org.armedbear.lisp.LispThread.execute(LispThread.java:568) at org.armedbear.lisp.compile_file_35.execute(compile-file.lisp:486) at org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:101) at org.armedbear.lisp.AutoloadedFunctionProxy.execute(AutoloadedFunctionProxy.java:145) at org.armedbear.lisp.LispThread.execute(LispThread.java:568) at org.armedbear.lisp.Lisp.evalCall(Lisp.java:497) at org.armedbear.lisp.Lisp.eval(Lisp.java:462) at org.armedbear.lisp.Lisp.eval(Lisp.java:460) at org.armedbear.lisp.Primitives$pf__eval.execute(Primitives.java:328) at org.armedbear.lisp.LispThread.execute(LispThread.java:568) at org.armedbear.lisp.Lisp.evalCall(Lisp.java:497) at org.armedbear.lisp.Lisp.eval(Lisp.java:462) at org.armedbear.lisp.Lisp.progn(Lisp.java:631) at org.armedbear.lisp.Primitives$sf_block.execute(Primitives.java:3720) at org.armedbear.lisp.Lisp.eval(Lisp.java:452) at org.armedbear.lisp.Lisp.progn(Lisp.java:631) at org.armedbear.lisp.Closure.bindParametersAndExecute(Closure.java:446) at org.armedbear.lisp.Closure.execute(Closure.java:479) at org.armedbear.lisp.LispThread.execute(LispThread.java:568) at org.armedbear.lisp.Lisp$1.execute(Lisp.java:278) at org.armedbear.lisp.Symbol.execute(Symbol.java:776) at org.armedbear.lisp.LispThread.execute(LispThread.java:568) at org.armedbear.lisp.top_level_50.execute(top-level.lisp:407) at org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:92) at org.armedbear.lisp.AutoloadedFunctionProxy.execute(AutoloadedFunctionProxy.java:139) at org.armedbear.lisp.Symbol.execute(Symbol.java:766) at org.armedbear.lisp.LispThread.execute(LispThread.java:552) at org.armedbear.lisp.top_level_51.execute(top-level.lisp:415) at org.armedbear.lisp.AutoloadedFunctionProxy.execute(AutoloadedFunctionProxy.java:139) at org.armedbear.lisp.LispThread.execute(LispThread.java:552) at org.armedbear.lisp.Interpreter.run(Interpreter.java:319) at org.armedbear.lisp.Main$1.run(Main.java:50) at java.lang.Thread.run(Thread.java:613) #<THREAD "interpreter" {1A3492}>: Debugger invoked on condition of type ERROR Caught java.lang.VerifyError: (class: org/armedbear/lisp/patmatch_19, method: execute signature: (Lorg/armedbear/lisp/LispObject;Lorg/armedbear/lisp/LispObject;Lorg/armedbear/lisp/LispObject;)Lorg/armedbear/lisp/LispObject;) Expecting to find integer on stack. Restarts: 0: TOP-LEVEL Return to top level. [1] CL-USER(2):

4 10

[armedbear-devel] add fasl version to default directory for asdf cache
by Alan Ruttenberg 10 May '10

10 May '10

Otherwise one gets the like of: Error loading /Users/alanr/repos/lsw2/trunk/scripts/system-registry.lisp at line 42 (offset 1356) #<THREAD "interpreter" {7A8516}>: Debugger invoked on condition of type SIMPLE-ERROR Incorrect fasl version: jar:file:/Users/alanr/.cache/common-lisp/armedbear-0.20.0-dev-darwin-unknown/Users/alanr/repos/lsw2/trunk/jss/invoke.abcl!/invoke._ Restarts: -Alan

2 4

[armedbear-devel] "Inconsistent precedence graph" when calling print-object on java instance
by Alan Ruttenberg 09 May '10

09 May '10

This is the javadoc for the class: http://owlapi.sourceforge.net/javadoc/uk/ac/manchester/cs/owl/owlapi/OWLCla… Here is the errors. Suggestions: Catch errors in print-object and print anyways, with flag if you really want to signal error. -Alan Inconsistent precedence graph. [Condition of type SIMPLE-ERROR] Restarts: 0: [RETRY] Retry SLIME REPL evaluation request. 1: [ABORT] Return to SLIME's top level. 2: [ABORT] Abort thread. Backtrace: 0: (ERROR "Inconsistent precedence graph.") 1: (MOP::TOPOLOGICAL-SORT (#<BUILT-IN-CLASS T> #<STANDARD-CLASS STANDARD-OBJECT {F2FBFF}> #<JAVA-CLASS {163B1C}> #<JAVA-CLASS {82B591}> #<JAVA-CLASS {5E632A}> #<JAVA-CLASS {C069F9}> ...) ((#<STANDARD-CLA.. 2: (MOP::STD-COMPUTE-CLASS-PRECEDENCE-LIST #<JAVA-CLASS {79BBDF}>) 3: (#<STANDARD-GENERIC-FUNCTION MOP::COMPUTE-CLASS-PRECEDENCE-LIST {B10995}> #<JAVA-CLASS {79BBDF}>) 4: (MOP::STD-FINALIZE-INHERITANCE #<JAVA-CLASS {79BBDF}>) 5: (#<STANDARD-GENERIC-FUNCTION MOP::FINALIZE-INHERITANCE {98068D}> #<JAVA-CLASS {79BBDF}>) 6: (#<FUNCTION {C1F62E}> #<JAVA-CLASS {79BBDF}> :NAME #:|org.semanticweb.owlapi.model.OWLClassExpression| :DIRECT-SUPERCLASSES (#<JAVA-CLASS {C069F9}> #<JAVA-CLASS {5E632A}> #<JAVA-CLASS {82B591}>) ...) 7: (APPLY #<FUNCTION {C1F62E}> #<JAVA-CLASS {79BBDF}> (:NAME #:|org.semanticweb.owlapi.model.OWLClassExpression| :DIRECT-SUPERCLASSES (# # #) :JAVA-CLASS #<java.lang.Class interface org.semanticweb.owlap.. 8: (#<FUNCTION {D182D6}> #<JAVA-CLASS {79BBDF}> :NAME #:|org.semanticweb.owlapi.model.OWLClassExpression| :DIRECT-SUPERCLASSES (#<JAVA-CLASS {C069F9}> #<JAVA-CLASS {5E632A}> #<JAVA-CLASS {82B591}>) ...) 9: (APPLY #<FUNCTION {D182D6}> (#<JAVA-CLASS {79BBDF}> :NAME #:|org.semanticweb.owlapi.model.OWLClassExpression| :DIRECT-SUPERCLASSES (# # #) :JAVA-CLASS ...)) 10: (#<STANDARD-GENERIC-FUNCTION INITIALIZE-INSTANCE {318C29}> #<JAVA-CLASS {79BBDF}> :NAME #:|org.semanticweb.owlapi.model.OWLClassExpression| :DIRECT-SUPERCLASSES (#<JAVA-CLASS {C069F9}> #<JAVA-CLASS {5.. 11: (APPLY #<STANDARD-GENERIC-FUNCTION INITIALIZE-INSTANCE {318C29}> #<JAVA-CLASS {79BBDF}> (:NAME #:|org.semanticweb.owlapi.model.OWLClassExpression| :DIRECT-SUPERCLASSES (# # #) :JAVA-CLASS #<java.lang... 12: (#<FUNCTION {E4B5A9}> #<STANDARD-CLASS JAVA-CLASS {67DCEF}> :NAME #:|org.semanticweb.owlapi.model.OWLClassExpression| :DIRECT-SUPERCLASSES (#<JAVA-CLASS {C069F9}> #<JAVA-CLASS {5E632A}> #<JAVA-CLASS {.. 13: (APPLY #<FUNCTION {E4B5A9}> (#<STANDARD-CLASS JAVA-CLASS {67DCEF}> :NAME #:|org.semanticweb.owlapi.model.OWLClassExpression| :DIRECT-SUPERCLASSES (# # #) :JAVA-CLASS ...)) 14: (#<STANDARD-GENERIC-FUNCTION MAKE-INSTANCE {216D6D}> #<STANDARD-CLASS JAVA-CLASS {67DCEF}> :NAME #:|org.semanticweb.owlapi.model.OWLClassExpression| :DIRECT-SUPERCLASSES (#<JAVA-CLASS {C069F9}> #<JAVA.. 15: (APPLY #<STANDARD-GENERIC-FUNCTION MAKE-INSTANCE {216D6D}> #<STANDARD-CLASS JAVA-CLASS {67DCEF}> :NAME #:|org.semanticweb.owlapi.model.OWLClassExpression| (:DIRECT-SUPERCLASSES (# # #) :JAVA-CLASS #<j.. 16: (SYSTEM:ENSURE-CLASS #:|org.semanticweb.owlapi.model.OWLClassExpression| :METACLASS #<STANDARD-CLASS JAVA-CLASS {67DCEF}> :DIRECT-SUPERCLASSES (#<JAVA-CLASS {C069F9}> #<JAVA-CLASS {5E632A}> #<JAVA-CLA.. 17: (ENSURE-JAVA-CLASS #<java.lang.Class interface org.semanticweb.owlapi... {1D3D9D}>) 18: (ENSURE-JAVA-CLASS #<java.lang.Class class uk.ac.manchester.cs.owl.ow... {B8486F}>) 19: (PRINT-OBJECT #<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ontology.neuinfo.org/NIF... {9B8B79}> #S(SYSTEM::STRING-OUTPUT-STREAM)) 20: (SYSTEM::OUTPUT-UGLY-OBJECT #<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ontology.neuinfo.org/NIF... {9B8B79}> #S(SYSTEM::STRING-OUTPUT-STREAM)) 21: (SYSTEM::%PRINT-OBJECT #<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ontology.neuinfo.org/NIF... {9B8B79}> #S(SYSTEM::STRING-OUTPUT-STREAM)) 22: (SYSTEM:OUTPUT-OBJECT #<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ontology.neuinfo.org/NIF... {9B8B79}> #S(SYSTEM::STRING-OUTPUT-STREAM)) 23: (SYSTEM::OUTPUT-LIST (#<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ontology.neuinfo.org/NIF... {9B8B79}> #<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ccdb.ucsd.edu/NDPO/1.0/N... {E1F.. 24: (SYSTEM::OUTPUT-UGLY-OBJECT (#<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ontology.neuinfo.org/NIF... {9B8B79}> #<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ccdb.ucsd.edu/NDPO/1.0/N... 25: (SYSTEM::%PRINT-OBJECT (#<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ontology.neuinfo.org/NIF... {9B8B79}> #<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ccdb.ucsd.edu/NDPO/1.0/N... {E.. 26: (SYSTEM:OUTPUT-OBJECT (#<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ontology.neuinfo.org/NIF... {9B8B79}> #<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ccdb.ucsd.edu/NDPO/1.0/N... {E1.. 27: (PRIN1-TO-STRING (#<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ontology.neuinfo.org/NIF... {9B8B79}> #<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ccdb.ucsd.edu/NDPO/1.0/N... {E1F4D8}.. 28: (SWANK::PRESENT-REPL-RESULTS ((#<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ontology.neuinfo.org/NIF... {9B8B79}> #<uk.ac.manchester.cs.owl.owlapi.OWLClassImpl < http://ccdb.ucsd.edu/NDPO/1.0/.. 29: (#<FUNCTION {68B350}>) 30: (SWANK::TRACK-PACKAGE #<FUNCTION {68B350}>) 31: (#<FUNCTION {D47FC3}>) 32: (SWANK::CALL-WITH-RETRY-RESTART "Retry SLIME REPL evaluation request." #<FUNCTION {D47FC3}>) 33: (#<FUNCTION {101CC5}>) 34: (FUNCALL #<FUNCTION {101CC5}>) 35: (#<FUNCTION (LAMBDA (SWANK-BACKEND::FN)) {4616CA}> #<FUNCTION {101CC5}>) 36: (APPLY #<FUNCTION (LAMBDA (SWANK-BACKEND::FN)) {4616CA}> #<FUNCTION {101CC5}> NIL) 37: (SWANK-BACKEND:CALL-WITH-SYNTAX-HOOKS #<FUNCTION {101CC5}>) 38: (SWANK::CALL-WITH-BUFFER-SYNTAX NIL #<FUNCTION {101CC5}>) 39: (SWANK::REPL-EVAL "(imports-declarations @) ") 40: (SWANK:LISTENER-EVAL "(imports-declarations @) ") 41: (SYSTEM::%EVAL (SWANK:LISTENER-EVAL "(imports-declarations @) ")) 42: (EVAL (SWANK:LISTENER-EVAL "(imports-declarations @) ")) 43: (SWANK::EVAL-FOR-EMACS (SWANK:LISTENER-EVAL "(imports-declarations @) ") "COMMON-LISP-USER" 712) 44: (APPLY #<FUNCTION SWANK::EVAL-FOR-EMACS {825BB7}> ((SWANK:LISTENER-EVAL "(imports-declarations @) ") "COMMON-LISP-USER" 712)) 45: (SWANK::PROCESS-REQUESTS NIL) 46: (#<FUNCTION {D0F6AE}>) 47: (FUNCALL #<FUNCTION {D0F6AE}>) 48: ((FLET SWANK-BACKEND:CALL-WITH-DEBUGGER-HOOK) #<FUNCTION SWANK:SWANK-DEBUGGER-HOOK {E26AA1}> #<FUNCTION {D0F6AE}>) 49: (APPLY #<FUNCTION (FLET SWANK-BACKEND:CALL-WITH-DEBUGGER-HOOK) {F31E8A}> #<FUNCTION SWANK:SWANK-DEBUGGER-HOOK {E26AA1}> #<FUNCTION {D0F6AE}> NIL) 50: (SWANK-BACKEND:CALL-WITH-DEBUGGER-HOOK #<FUNCTION SWANK:SWANK-DEBUGGER-HOOK {E26AA1}> #<FUNCTION {D0F6AE}>) 51: (#<FUNCTION {5A3285}>) 52: (SWANK::CALL-WITH-BINDINGS ((*STANDARD-OUTPUT* . #S(SLIME-OUTPUT-STREAM)) (*STANDARD-INPUT* . #S(SLIME-INPUT-STREAM)) (*TRACE-OUTPUT* . #S(SLIME-OUTPUT-STREAM)) (*ERROR-OUTPUT* . #S(SLIME-OUTPUT-STREA.. 53: (#<FUNCTION {5F32BE}>) 54: (JRUN-EXCEPTION-PROTECTED #<FUNCTION {5F32BE}>) 55: (#<FUNCTION {FC7979}>) 56: (JRUN-EXCEPTION-PROTECTED #<FUNCTION {FC7979}>) 57: (SWANK::CALL-WITH-CONNECTION #S(SWANK::CONNECTION :SOCKET #<java.net.ServerSocket ServerSocket[addr=0.0.0.0/0.0.0.... {8B2078}> :SOCKET-IO #<TWO-WAY-STREAM {DF7E}> :DEDICATED-OUTPUT NIL :USER-INPUT #S.. 58: (JRUN-EXCEPTION-PROTECTED #<FUNCTION {50D4FE}>) 59: (#<FUNCTION {CF8D9B}>)

2 3

[armedbear-devel] enter debug repl when eval command line gets error?
by Alan Ruttenberg 09 May '10

09 May '10

Currently abcl quits if an error is signaled while processing a form in a --eval option. I can see that one might sometimes want this to happen - perhaps another switch then? -Alan

1 0

[armedbear-devel] passing adjustable strings to java
by Alan Ruttenberg 08 May '10

08 May '10

Looks like fill pointer isn't taken into account: (jcall "toString" (make-array 10 :element-type 'character :adjustable t :fill-pointer 3 :initial-contents "fooxxxxxxx")) -> "fooxxxxxxx" -Alan

1 1

Re: [armedbear-devel] [armedbear-cvs] r12620 - trunk/abcl/src/org/armedbear/lisp
by Erik Huelsmann 07 May '10

07 May '10

Hi Mark, On Fri, Apr 16, 2010 at 3:41 PM, Mark Evenson <mevenson(a)common-lisp.net> wrote: > Author: mevenson > Date: Fri Apr 16 09:41:21 2010 > New Revision: 12620 > > Log: > Use interpreted form in a FASL if compliation fails. Although I think this is a great fallback, it seems to be automatically selected right now. I'm affraid of the negative side effects of that scenario: people will not notice that their code wasn't compiled, but is now interpreted instead. The ultimate side effect could be that we don't get any reports anymore regarding brokenness of our compiler. In my eyes, there are 2 ways forward with this: 1) We undo this option; this leaves users at a loss when compilation fails; they'll need to use the entire file uncompiled. 2) We make the fallback a selectable restart; this way, compilation gets interrupted, the user is aware and we're much more likely to receive our feedback. But the user isn't restricted to using a fully interpreted file anymore. Quite possibly, you can read my preference through the lines already: I think option (2) is *really* nice. What's your opinion on the matter? Bye, Erik.

3 4

[armedbear-devel] Including ASDF 2 in the next ABCL release
by Faré 06 May '10

06 May '10

Dear ABCL developers, could you test for inclusion with your implementation the current release candidate of ASDF 2 (version 1.715 as of this writing)? http://common-lisp.net/project/asdf/ ASDF 2 is an evolution of ASDF that tries to be backwards compatible with previous releases and their many extensions, while at the same time improving the user experience in many important ways. I have worked hard towards reaching the current state, which I believe is now suitable for release. Could you please send us fixes for any glaring bugs, and otherwise include ASDF 2 in any alpha-testing release channel for users of your implementation? I think it's mostly ready, and I'd like to have it widely tested before the actual release, which I hope will happen this month of May 2010, hopefully without any code change (except maybe for some tweaks to enhance support for some Lisp implementations on some operating systems), and with slightly enhanced documentation (notably based on your feedback). I'm using ASDF 2 at ITA. Recent versions are already included in ECL and ABCL. Several hackers have tried building plenty of packages with it. While it's far from my ideal of perfection, and admittedly only a relatively small limited of previous code, I believe it's enough of an advance over the previous generation of ASDF that I'd like to get it out to the world. The code has been extensively cleaned up while preserving previous semantics everywhere that it was well-defined. Our testing has revealed no regressions from ASDF 1. What has changed since ASDF 1 is documented at the following page: http://common-lisp.net/project/asdf/asdf/FAQ.html Improvements include: * portably handle naming of files wrt directory, type, host/device, etc. * a builtin user-configurable output translation mechanism, superseding asdf-binary-locations and previous hacks in common-lisp-controller and cl-launch. * a user-configurable source registry system for finding systems (the old *central-registry* is still available). * improved portability to many implementations. * improved support for Windows (though we still lack implementation-dependent configuration support except on LispWorks). [NOTE: I couldn't parse this item. I juggled the sentence structure, but I still don't get it. What kind of configuration support is needed for Windows? What aspects of configuration that we have on other OSes is missing from Windows?] * many bug fixes * better documentation * the test suite, while still largely incomplete, covers more cases and is more robust across implementations. * substantial performance improvements when processing large systems with thousands of components. * API improvements: load-system, system-relative-pathname, etc. * a sensible versioning system for ASDF 2 itself. * ASDF can be now be upgraded in a running lisp image. Using this in-place upgrade, ASDF releases can be decoupled from implementation releases. * better support for various extensions used by ECL and ABCL, and also by POIU, ASDF-DEPENDENCY-GROVEL. Pitfalls include: * Output translations is enabled by default. This may surprise some users, most of them in pleasant way (we hope), a few of them in an unpleasant way. It is trivial to disable output translations. Simply put (ASDF:DISABLE-OUTPUT-TRANSLATIONS) in a lisp startup file. * Some systems in the large have been known not to play well with asdf output translations. They were easy to fix. The most likely issue is to have chaining of operations (e.g., a preprocessing before a load) where the INPUT-FILES of one operation are related to the OUTPUT-FILES of another. In this case many issues can be avoided by simply making the OUTPUT-FILES primary, and having later operations' INPUT-FILES be defined in terms of the OUTPUT-FILES of other operations instead of directly defining the INPUT-FILES. It is also easy to disable output translations or override its configuration. * ASDF 2 output translations do not work with ASDF-Binary-Locations. They replace A-B-L, and include a compatibility mode to emulate your previous A-B-L configuration. See ENABLE-ASDF-BINARY-LOCATIONS-COMPATIBILITY. But you shouldn't load ABL on top of ASDF 2. * A notable performance bug on SBCL (and possibly other implementations, too): the recursive search of configured paths in your source-registry with (DIRECTORY "/configured/path/**/*.asd") can waste a few seconds when initially searching for asd files (depending on your configuration). If it is essential for you to avoid this pause, you should override the default source-registry and only use non-recursive :DIRECTORY options (or shallow trees). * On Windows, when not using cygwin, only LispWorks has proper defaults for configuration pathnames. Other implementations make do. Patches welcome. * Windows support has not been sufficiently well tested. As to how to best include ASDF in your implementation, here is an excerpt from the FAQ section of our manual: 12.3.2 "I'm a Common Lisp implementation vendor. When and how should I upgrade ASDF?" Starting with current candidate releases of ASDF 2, it should always be a good time to upgrade to a recent version of ASDF. You may consult with the maintainer for which specific version they recommend, but the latest RELEASE should be correct. We trust you to thoroughly test it with your implementation before you release it. If there are any issues with the current release, it's a bug that you should report upstream and that we will fix ASAP. In order to report bugs, please use the launchpad bug tracker. Information about launchpad is contained in the manual. As to how to include ASDF, we recommend the following: * If ASDF isn't installed yet, then (require :asdf) should load the version of ASDF that is bundled with your system. You may have it load some other version configured by the user, if you allow such configuration. * If your system provides a mechanism to hook into CL:REQUIRE, then it would be nice to add ASDF to this hook the same way that SBCL, CCL and ABCL do. * You may, like SBCL, have ASDF be implicitly used to require systems that are bundled with your Lisp distribution. If you do have a few magic systems that come with your implementation in a precompiled way such that one should only use the binary version that goes with your distribution, like SBCL does, then you should add them in the beginning of wrapping-source-registry. Please consult with the ASDF maintainers about that. * If you have magic systems as above, then we explicitly ask you to NOT distribute asdf.asd as part of those magic systems. You should still include the file asdf.lisp in your source distribution and precompile it in your binary distribution, but asdf.asd if included at all, should be secluded from the magic systems, in a separate file hierarchy, or you may otherwise rename the system and its file to e.g. asdf-ecl and asdf-ecl.asd, or sb-asdf and sb-asdf.asd. If you make asdf.asd a magic system, then users will no longer be able to upgrade ASDF using ASDF itself. It is helpful to be able to do this in order for users to be able to use an ASDF version of their own choosing that they maintain independently from your Lisp distribution. * If you do not have any such magic systems, or have other non-magic systems that you want to bundle with your implementation, then you may add them to the default-source-registry, and you are welcome to include asdf.asd amongst them. * Please send us upstream any patches you make to ASDF itself, so we can merge them back in for the benefit of your users when they upgrade to the upstream version. [ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ] Put your hand on a hot stove for a minute, and it seems like an hour. Sit with a pretty girl for an hour, and it seems like a minute. THAT'S relativity. — Albert Einstein

2 1

[armedbear-devel] debug assert considered bad for health
by Alan Ruttenberg 06 May '10

06 May '10

Blood pressure, specifically. What does one do with this: ABCL Debug.assertTrue() assertion failed! java.lang.Error: ABCL Debug.assertTrue() assertion failed! at org.armedbear.lisp.Debug.assertTrue(Debug.java:46) at org.armedbear.lisp.Package.shadowingImport(Package.java:601) at org.armedbear.lisp.PackageFunctions$9.execute(PackageFunctions.java:190) at org.armedbear.lisp.Primitive.execute(Primitive.java:108) at org.armedbear.lisp.Symbol.execute(Symbol.java:776) No message - go hunt in source code. Yuck. -Alan

5 11

Re: [armedbear-devel] debug assert considered bad for health
by Ville Voutilainen 06 May '10

06 May '10

> On 6 May 2010 20:18, Alan Ruttenberg <alanruttenberg(a)gmail.com> wrote: >> With the above example, you could show _how_ the boolean is computed. >> That assert would print stuff like >> "Assertion failed at foobar.java:123: ((5 + 6 + 8) == 18)" > Yes, but I think what's needed is more like: > Debug.fail("Expected pathname host of '"+ p + "' to be a > string, symbol, or cons"); Yes, that would be helpful. We could start with that at least, and pipe-dream about macros later. :)

1 0