November 2012 - armedbear-ticket - mailman3.common-lisp.net

[armedbear-ticket] [armedbear] #233: Evaluation of (DIRECTORY "/*/") fails
by armedbear 09 Dec '12

09 Dec '12

#233: Evaluation of (DIRECTORY "/*/") fails ------------------------+--------------------------------------------------- Reporter: ehuelsmann | Owner: mevenson Type: defect | Status: new Priority: major | Milestone: Component: libraries | Version: 1.1.0-dev Keywords: | ------------------------+--------------------------------------------------- Reported by Stas Boukarev on #abcl: (DIRECTORY "/*/") ---> #<THREAD "interpreter" {E2B9E5}>: Debugger invoked on condition of type TYPE-ERR OR The value NIL is not of type (OR PATHNAME STRING FILE-STREAM SYSTEM:JAR- STREAM SYSTEM:URL-STREAM). Restarts: 0: TOP-LEVEL Return to top level. -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/233> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 3

[armedbear-ticket] [armedbear] #239: defgeneric with unsuitable :generic-function-class gives incomprehensible error
by armedbear 07 Dec '12

07 Dec '12

#239: defgeneric with unsuitable :generic-function-class gives incomprehensible error -----------------------+---------------------------------------------------- Reporter: rschlatte | Owner: ehuelsmann Type: defect | Status: new Priority: minor | Milestone: Component: (A)MOP | Version: Keywords: | -----------------------+---------------------------------------------------- Compiling and loading the following (incorrect) file gives an error saying that foo-generic-function is not of type standard-generic-function. The real error is that foo-generic-function must be defined with (:metaclass funcallable-standard-class) to be suitable as a generic function class. {{{ (require :clos) (defclass foo-generic-function (standard-generic-function)) (defgeneric goo (a b) (:generic-function-class foo-generic-function) (:method (a b) (princ "default method"))) (print #'goo) }}} The attached patch would emit a full warning in defgeneric, but currently find-class does not implement correct behavior when called with 3 parameters. -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/239> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 2

[armedbear-ticket] [armedbear] #242: Unused &key warnings in defmethod forms should not cause style-warnings
by armedbear 07 Dec '12

07 Dec '12

#242: Unused &key warnings in defmethod forms should not cause style-warnings -----------------------+---------------------------------------------------- Reporter: rschlatte | Owner: ehuelsmann Type: defect | Status: new Priority: minor | Milestone: Component: compiler | Version: Keywords: | -----------------------+---------------------------------------------------- CLHS 7.6.5 says: "The lambda list congruence rules require that each method accept all of the keyword arguments mentioned after &key in the generic function definition, by accepting them explicitly, by specifying &allow-other-keys, or by specifying &rest but not &key." Currently, when compiling a file containing the form {{{(defmethod foo ((x fixnum) &key y z) x)}}} we get style warnings about unused variables y and z. I think that these style warnings can be safely elided, since a typo in the arglist will lead to another style warning "Undefined variable A assumed special". -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/242> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 5

[armedbear-ticket] [armedbear] #231: DEFSTRUCT accessor functions overwrite accessors in :INCLUDEd structs
by armedbear 07 Dec '12

07 Dec '12

#231: DEFSTRUCT accessor functions overwrite accessors in :INCLUDEd structs ------------------------+--------------------------------------------------- Reporter: ehuelsmann | Owner: mevenson Type: defect | Status: new Priority: major | Milestone: 1.1.0 Component: libraries | Version: Keywords: | ------------------------+--------------------------------------------------- Ralf Moeller reports: The following file causes a problem in ABCL (1.1.0-dev-svn-14041) when compiled (!) and loaded. (in-package cl-user) (defstruct a (s1 nil)) (defstruct (b (:include a) (:conc-name foo-)) (s2 nil)) (defstruct (c (:include a) (:conc-name foo-)) (s3 nil)) (defun test () (let ((x (make-b :s1 1 :s2 2))) (foo-s1 x))) CL-USER(4): (test) #<THREAD "interpreter" {2EF7D41F}>: Debugger invoked on condition of type SIMPLE-TYPE-ERROR The value #<B {564434F7}> is not of type C. Restarts: 0: TOP-LEVEL Return to top level. [1] CL-USER(6): (lisp-implementation-version) "1.1.0-dev-svn-14041" [1] CL-USER(7): The problem is that the defstruct declaration for c "overwrites" the accessor foo-s1 generated by defstruct b. If foo-s1 is called for a b instance, the type assertions introduced by define-reader (and define-writer, see the ABCL implementation for defstruct) cause the error described above. -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/231> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 3

[armedbear-ticket] [armedbear] #165: pprint-logical-block fails for format with list directive
by armedbear 07 Dec '12

07 Dec '12

#165: pprint-logical-block fails for format with list directive ----------------------------+----------------------------------------------- Reporter: mevenson | Owner: somebody Type: defect | Status: new Priority: major | Milestone: 0.27 Component: other | Version: 0.27 Keywords: sbcl-buildhost | ----------------------------+----------------------------------------------- Derived from the problems getting SBCL to compile, the following test fails with complaints in the XP package: {{{ (defparameter *stream* *error-output*) (defun pprint-test () (pprint-logical-block (*stream* nil :prefix "---") (format *stream* "~(~A~)" '(1 2 3 4)))) }}} with this error {{{ The value #S(XP::XP-STRUCTURE :BASE-STREAM #S(SLIME-OUTPUT-STREAM) :LINE- LENGTH 70 :LINE-LIMIT NIL :LINE-NO 1 :DEPTH-IN-BLOCKS 2 :BLOCK-STACK #(0 0 3 NIL NIL NIL NIL NIL NIL NIL ...) :BLOCK-STACK-PTR 2 :BUFFER … is not of type STREAM. [Condition of type TYPE-ERROR] -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/165> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 11

[armedbear-ticket] [armedbear] #118: Lisp.getUpgradedElementType returns more types than supported by 'make_array.java'
by armedbear 07 Dec '12

07 Dec '12

#118: Lisp.getUpgradedElementType returns more types than supported by 'make_array.java' ------------------------+--------------------------------------------------- Reporter: ehuelsmann | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: libraries | Version: Keywords: | ------------------------+--------------------------------------------------- The above leads to possible failure: each upgraded element type has its own associated defaultInitialValue. If the code does not specify the right initial value, NIL is taken, which probably is not a good fit. -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/118> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 8

[armedbear-ticket] [armedbear] #267: MAKE-CONCATENATED-STREAM.30 ANSI Regression
by armedbear 07 Dec '12

07 Dec '12

#267: MAKE-CONCATENATED-STREAM.30 ANSI Regression ----------------------+----------------------------------------------------- Reporter: mevenson | Owner: nobody Type: defect | Status: new Priority: blocker | Milestone: 1.1.0 Component: java | Version: 1.1.0-dev Keywords: | ----------------------+----------------------------------------------------- According to bisect caused by http://trac.common- lisp.net/armedbear/changeset/14100 -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/267> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 2

[armedbear-ticket] [armedbear] #250: SYS:256 does not compile
by armedbear 07 Dec '12

07 Dec '12

#250: SYS:256 does not compile ----------------------+----------------------------------------------------- Reporter: mevenson | Owner: ehuelsmann Type: defect | Status: new Priority: blocker | Milestone: 1.1.0 Component: build | Version: 1.1.0-dev Keywords: | ----------------------+----------------------------------------------------- http://article.gmane.org/gmane.lisp.armedbear.devel/2584 -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/250> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 4

[armedbear-ticket] [armedbear] #260: ABCL crashes on empty string designated as || in defstruct
by armedbear 06 Dec '12

06 Dec '12

#260: ABCL crashes on empty string designated as || in defstruct ----------------------------------------------------------------------------------------------+ Reporter: https://www.google.com/accounts/o8/id?id=aitoawkpaspbvrtrjcvsrck294sqlnthaj… | Owner: ehuelsmann Type: defect | Status: new Priority: major | Milestone: Component: compiler | Version: Keywords: | ----------------------------------------------------------------------------------------------+ ARNESI's matcher has this form in it: {{{ (defstruct (match-state (:conc-name ||)) target bindings matched) }}} This causes ABCL to crash with an error: `Can't intern zero-length symbol.` Backtrace from SLIME: {{{ Backtrace: 0: (#<FUNCTION {72FB24C}> #<READER-ERROR {4C629F43}> #<FUNCTION {72FB24C}>) 1: (APPLY #<FUNCTION {72FB24C}> (#<READER-ERROR {4C629F43}> #<FUNCTION {72FB24C}>)) 2: (SYSTEM::RUN-HOOK SYSTEM::*INVOKE-DEBUGGER-HOOK* #<READER-ERROR {4C629F43}> #<FUNCTION {72FB24C}>) 3: (INVOKE-DEBUGGER #<READER-ERROR {4C629F43}>) 4: org.armedbear.lisp.Lisp.error(Lisp.java:381) 5: org.armedbear.lisp.Stream.readToken(Stream.java:1140) 6: org.armedbear.lisp.Stream.processChar(Stream.java:524) 7: org.armedbear.lisp.Stream.readList(Stream.java:684) 8: org.armedbear.lisp.LispReader$3.execute(LispReader.java:88) 9: org.armedbear.lisp.Stream.processChar(Stream.java:517) 10: org.armedbear.lisp.Stream.readList(Stream.java:684) 11: org.armedbear.lisp.LispReader$3.execute(LispReader.java:88) 12: org.armedbear.lisp.Stream.processChar(Stream.java:517) 13: org.armedbear.lisp.Stream.readList(Stream.java:684) 14: org.armedbear.lisp.LispReader$3.execute(LispReader.java:88) 15: org.armedbear.lisp.Stream.processChar(Stream.java:517) 16: org.armedbear.lisp.Stream.readPreservingWhitespace(Stream.java:486) 17: org.armedbear.lisp.Stream.readPreservingWhitespace(Stream.java:495) 18: org.armedbear.lisp.Stream.read(Stream.java:430) 19: org.armedbear.lisp.Stream$16.execute(Stream.java:2355) 20: org.armedbear.lisp.Symbol.execute(Symbol.java:808) 21: org.armedbear.lisp.LispThread.execute(LispThread.java:683) 22: org.armedbear.lisp.compile_file_61.execute(compile-file.lisp:649) 23: org.armedbear.lisp.LispThread.execute(LispThread.java:633) 24: org.armedbear.lisp.Java$pf_jrun_exception_protected.execute(Java.java:1308) 25: org.armedbear.lisp.Symbol.execute(Symbol.java:785) 26: org.armedbear.lisp.LispThread.execute(LispThread.java:649) 27: org.armedbear.lisp.compile_file_58.execute(compile-file.lisp:649) 28: org.armedbear.lisp.compiler_pass2_371.execute(compiler- pass2.lisp:7406) 29: org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:101) 30: org.armedbear.lisp.Symbol.execute(Symbol.java:785) 31: org.armedbear.lisp.LispThread.execute(LispThread.java:649) 32: org.armedbear.lisp.compile_file_56.execute(compile-file.lisp:649) 33: org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:153) 34: org.armedbear.lisp.Symbol.execute(Symbol.java:834) 35: org.armedbear.lisp.Autoload.execute(Autoload.java:217) 36: org.armedbear.lisp.Symbol.execute(Symbol.java:834) 37: org.armedbear.lisp.LispThread.execute(LispThread.java:719) 38: org.armedbear.lisp.Lisp.funcall(Lisp.java:180) 39: org.armedbear.lisp.Primitives$pf_apply.execute(Primitives.java:2842) 40: (READ #<FILE-STREAM {1CFB480A}> NIL #<FILE-STREAM {1CFB480A}>) 41: (#<FUNCTION {35369763}>) 42: (JRUN-EXCEPTION-PROTECTED #<FUNCTION {35369763}>) 43: (JVM::%WITH-COMPILATION-UNIT #<FUNCTION {130CFFE0}>) 44: (COMPILE-FILE #P"/Users/rpg/lisp/arnesi/src/matcher.lisp" :OUTPUT- FILE #P"/Users/rpg/.cache/common-lisp/abcl-1.0.1-fasl38-macosx- java/Users/rpg/lisp/arnesi/src/ASDF-TMP-matcher.abcl" :OUTPUT-FILE #P"/.. 45: (APPLY COMPILE-FILE #P"/Users/rpg/lisp/arnesi/src/matcher.lisp" :OUTPUT-FILE #P"/Users/rpg/.cache/common-lisp/abcl-1.0.1-fasl38-macosx- java/Users/rpg/lisp/arnesi/src/ASDF-TMP-matcher.abcl" (:OUTPUT-FI.. 46: (ASDF:COMPILE-FILE* #P"/Users/rpg/lisp/arnesi/src/matcher.lisp" :OUTPUT-FILE #P"/Users/rpg/.cache/common-lisp/abcl-1.0.1-fasl38-macosx- java/Users/rpg/lisp/arnesi/src/matcher.abcl") 47: (APPLY ASDF:COMPILE-FILE* #P"/Users/rpg/lisp/arnesi/src/matcher.lisp" :OUTPUT-FILE #P"/Users/rpg/.cache/common-lisp/abcl-1.0.1-fasl38-macosx- java/Users/rpg/lisp/arnesi/src/matcher.abcl" NIL) }}} Same error if I try this at the REPL. -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/260> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 1

[armedbear-ticket] [armedbear] #271: ASDF-2.26 changes synced upstream
by armedbear 03 Dec '12

03 Dec '12

#271: ASDF-2.26 changes synced upstream -------------------------------------+-------------------------------------- Reporter: mevenson | Owner: somebody Type: defect | Status: new Priority: major | Milestone: 1.1.0 Component: other | Version: 1.1.0-dev Keywords: quicklisp asdf upstream | -------------------------------------+-------------------------------------- ABCL relies on #+abcl conditional changes that need to be synced upstream. The Quicklisp November 2012 Client is providing stock ASDF-2.26, and I'm not sure who is currently "winning". -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/271> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 6