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

defgeneric, defmethod, and incongruent lambda list... bug?
by Paul Nathan 09 Aug '16

09 Aug '16

Hi, I have a generic function (defgeneric equals (a b &rest keys &key recursive key &allow-other-keys) ... ) This method works correctly: (defmethod equals ((a t) (b t) &rest keys) (declare (ignore keys)) (equalp a b)) ... ) But, this method throws an error: (defmethod equals ((a float) (b float) &rest keys &key floating-compare (max-relative-diff 1.19e-7)) ... ) My understanding from http://www.lispworks.com/documentation/HyperSpec/Body/07_fd.htm is that since &allow-other-keys has been set, this should work. As a point of reference, SBCL allows this, but of course that is not the determinant of correctness. :-) Best regards, Paul

1 0

errors in threads corrupt terminal IO
by Vibhu Mohindra 04 Aug '16

04 Aug '16

Hi, Is anyone aware of any reasons not to use threads in a production ABCL program? I'm preparing to deliver a program mostly written in Lisp, with a layer of Java on top so Java programmers can interact with it. The Lisp code runs a handful of daemon threads, some of which are lparallel worker threads. I'm specifically wondering whether errors raised inside threads will corrupt any of ABCL's internal state. e.g. in an ABCL REPL, this corrupts the terminal: (ql:quickload "bordeaux-threads") (use-package "BORDEAUX-THREADS") (make-thread #'(lambda () (error "testing"))) ;now press "enter" a couple of times. It's as though multiple threads are trying to read from the terminal, not just write. My program doesn't have a REPL, so if this is only a REPL problem, that's okay. I'm wondering if it's something bigger. If anyone on this list has used threads, and found any sort of instability because of them, I'd love to know. I'll then rewrite my program to not use threads. Thanks in advance, Vibhu ---- abcl-1.3.2 on OSX bordeaux-threads-0.8.3 ----

1 0

#'directory likely bug
by Vibhu Mohindra 01 Jul '16

01 Jul '16

In a directory containing files and directories, (directory (make-pathname :directory '(:relative :wild))) lists only the directories, in CCL, SBCL, CLISP, ECL, but in ABCL (1.3.2) produces this error: #<THREAD "interpreter" {71225B71}>: Debugger invoked on condition of type TYPE-ERROR The value NIL is not of type (OR PATHNAME STRING FILE-STREAM SYSTEM:JAR-STREAM SYSTEM:URL-STREAM). This is triggered by the existence of a file in OSX named ./.android/adbkey , or in general by the existence of: $ mkdir .d1 $ touch .d1/f1 [CMUCL seems wrong. It lists contents of subdirectories of current directory (but not their subdirectories).] Vibhu

1 0

ABCL and Truffle
by Alessio Stalla 24 Jun '16

24 Jun '16

Hi list, is anyone aware of Truffle/Graal from Oracle? Here some insightful slides: https://lafo.ssw.uni-linz.ac.at/pub/papers/2016_PLDI_Truffle.pdf Since there's been talk about rewriting the ABCL compiler which is old, messy and not very optimizing, I wonder if Truffle can be a useful technology to base a new compiler on. Not as the default because it requires Java 9 (or perhaps 8), but at least as a future-proof solution. It seems to me that getting started is not hard - just map the Lisp S-expression based AST to a Truffle AST; optimizations can follow incrementally. What do you think? I don't have the resources to work on it anytime soon, I'm letting my own projects slip sadly - it would be great to work on it. Still, maybe someone else is interested. I can contribute some design and code reviews, if need be, but little actual coding. Peace Alessio

2 1

#'asdf-jar:add-to-asdf use-jar-fasls is ineffective
by Vibhu Mohindra 23 Jun '16

23 Jun '16

Hi, I've got #'asdf-jar:package to create a jar file containing lisp sources and fasls. With abcl-1.0.1, (asdf:operate 'asdf:load-op ...) uses the fasls from the jar, whereas with abcl-1.1.0 onwards those fasls are ignored and the jarred sources are compiled into ~/.cache/... again. Is this a bug, or is it a feature (as easyE seems to think it is, in the last two sentences at: http://stackoverflow.com/questions/4763910/abcl-compilation-and-primitives )? If it's a bug, here is how far I've got in my diagnosis. (asdf-jar:add-to-asdf "wispym.jar") shows this in abcl-1.0.1 ((#P"jar:file:/Users/vibhu/t3/wispym-all.jar!/**/*.*" T) (#P"jar:file:/Users/vibhu/t3/wispym-all.jar!/**/*.*" #P"jar:file:/Users/vibhu/t3/wispym-all.jar!/**/*.*") (#P"/Users/vibhu/.cache/common-lisp/abcl-1.0.1-svn-13750-13751-fasl38-solaris-x86/**/*.*" T) (#P"/___jar___file___root___/**/*.*" #P"/Users/vibhu/.cache/common-lisp/abcl-1.0.1-svn-13750-13751-fasl38-solaris-x86/**/*.*") (#P"jar:file:/**/*.jar!/**/*.*" #<TRANSLATE-JAR-PATHNAME {2B63F8AD}>) (T #P"/Users/vibhu/.cache/common-lisp/abcl-1.0.1-svn-13750-13751-fasl38-solaris-x86/**/*.*")) but this in abcl-1.3.2, ((#P"/**/*.*" T) (#P"/**/*.*" #P"/**/*.*") (#P"/Users/vibhu/.cache/common-lisp/abcl-1.3.2-fasl42-macosx-x64/**/*.*" T) (#P"/___jar___file___root___/**/*.*" #P"/Users/vibhu/.cache/common-lisp/abcl-1.3.2-fasl42-macosx-x64/**/*.*") (#P"jar:file:/**/*.jar!/**/*.*" #<TRANSLATE-JAR-PATHNAME {4F340027}>) (T #P"/Users/vibhu/.cache/common-lisp/abcl-1.3.2-fasl42-macosx-x64/**/*.*")) I think these are asdf output-translations, each specifying a source directory and a corresponding destination directory. The first two entries are significantly different between abcl-1.0.1 and abcl-1.3.2. ---- The reason I'd like to use the jarred fasls is that I'm distributing my program to customers. I don't want to spew fasls around their hard disks. I also don't want to get into having to explain to them to clear caches. (I do have to do this locally on occasion, e.g. when timestamps on files confuse the cache). But most importantly, I've got a large cl-yacc grammar that takes ages to macroexpand and compile. I don't want them to wait so long even though it's just on the first load. ---- Any tips for where I should look next will be much appreciated. ASDF, ABCL, ABCL contrib? Thanks for reading. Vibhu

2 2

merge-pathnames bug with :back component
by Vibhu Mohindra 14 Jun '16

14 Jun '16

CLHS for merge-pathnames specifies that, "This removal of redundant :back keywords is repeated as many times as possible." abcl-1.3.2 The first expression below evaluates correctly, but the second produces an error. FCFS(34): (merge-pathnames (make-pathname :directory '(:relative "a" "b" :back)) (make-pathname :directory '(:absolute "root"))) #P"/root/a/" FCFS(35): (merge-pathnames (make-pathname :directory '(:relative "a" "b" :back :back)) (make-pathname :directory '(:absolute "root"))) #<THREAD "interpreter" {43B4AF3C}>: Debugger invoked on condition of type FILE-ERROR Unsupported directory component BACK. Restarts: 0: TOP-LEVEL Return to top level. For what it's worth, CCL also produces an error. CLISP, ECL, SBCL correctly produce: #P"/root/" (That said, I'm far from a pathname expert and could be completely wrong.) Vibhu

2 1

publish system::expand-deftype ?
by Massimiliano Ghilardi 13 Jun '16

13 Jun '16

Hello, for my library https://github.com/cosmos72/cl-parametric-types I need the function introspect-environment:typexpand, which expands DEFTYPE'd types, similarly to what CL:MACROEXPAND does for macros. Even though introspect-environment does not support ABCL, I found that system::expand-deftype does exactly what I need, yet I am wary of using a non-exported symbol from ABCL. Is system::expand-deftype stable enough to be published as an ABCL extension to ANSI CL and to be used to implement introspect-environment:typexpand ? Regards, Massimiliano

2 1

function documentation patch
by Alan Ruttenberg 31 May '16

31 May '16

When a function object is given to describe function documentation is not shown (it's shown on the symbol). Because of this, the slime function documentation doesn't show it either. Index: src/org/armedbear/lisp/describe.lisp =================================================================== --- src/org/armedbear/lisp/describe.lisp (revision 14850) +++ src/org/armedbear/lisp/describe.lisp (working copy) @@ -89,7 +89,13 @@ (setf plist (cddr plist)))))) (FUNCTION (%describe-object object stream) - (describe-arglist object stream)) + (describe-arglist object stream) + (let ((function-symbol (nth-value 2 (function-lambda-expression object)))) + (when function-symbol + (let ((doc (documentation function-symbol 'function))) + (when doc + (format stream "Function documentation:~% ~A~%" doc))) + ))) (INTEGER (%describe-object object stream) (format stream "~D.~%~

2 2

Format ~$ buglet
by Scott L. Burson 28 Apr '16

28 Apr '16

In 1.3.2, > (format nil "~$" -32.17) --32.17 Negative values are getting a double minus sign. The right fix seems to be, in 'format-dollars', to pass '(abs number)' rather than 'number' to 'sys::flonum-to-string'. -- Scott

2 1

[CFPart] ELS'16, 9th European Lisp Symposium, May 9-10, Kraków, Poland
by Didier Verna 06 Apr '16

06 Apr '16

ELS'16 - 9th European Lisp Symposium Department of Computer Science AGH University of Science and Technology Kraków, Poland May 9-10, 2016 In cooperation with: ACM SIGPLAN Sponsored by EPITA, Franz Inc., LispWorks Ltd., IdEx and Dept. of Computer Science AGH UST http://www.european-lisp-symposium.org/ Recent news: - Full programme now available online - Registration now open (early registration deadline: April 25) The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. Keynote speakers: - Pierre Castéran -- Program Proving with Coq - Stephan Karpinski -- Julia: to Lisp or Not to Lisp? - Francis Sergeraert -- Lexical Closures and Complexity Important dates: - 25 Apr 2016 Early registration deadline - 9-10 May 2016 Symposium Programme chair: Irène Durand, LaBRI, University of Bordeaux, France Local chair: Michał Psota, Emergent Network Defense, Kraków, Poland Programme committee: Antonio Leitao — INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Portugal Charlotte Heerzel — IMEC, Leuven, Belgium Christian Queinnec — University Pierre et Marie Curie, Paris 6, France Christophe Rhodes — Goldsmiths, University of London, United Kingdom Didier Verna — EPITA Research and Development Laboratory, France Erick Gallesio — University of Nice-Sophia Antipolis, France François-René Rideau, Google, USA Giuseppe Attardi — University of Pisa, Italy Kent Pitman, HyperMeta Inc., USA Leonie Dreschler-Fischer — University of Hamburg, Germany Pascal Costanza — Intel Corporation, Belgium Robert Strandh — University of Bordeaux, France Search Keywords: #els2016, ELS 2016, ELS '16, European Lisp Symposium 2016, European Lisp Symposium '16, 9th ELS, 9th European Lisp Symposium, European Lisp Conference 2016, European Lisp Conference '16 -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0