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

[armedbear-ticket] [armedbear] #273: compiler macro, flet, inline => Failed AVER: "NIL"
by armedbear 07 Dec '12

07 Dec '12

#273: compiler macro, flet, inline => Failed AVER: "NIL" ----------------------+----------------------------------------------------- Reporter: mevenson | Owner: ehuelsmann Type: defect | Status: new Priority: major | Milestone: 1.1.0 Component: compiler | Version: 1.1.0-dev Keywords: | ----------------------+----------------------------------------------------- James Lawrence reports in http://article.gmane.org/gmane.lisp.armedbear.devel/2636: {{{ (defun foo (n) n) (define-compiler-macro foo (n) `(flet ((bar (k) k)) (declare (inline bar)) (bar ,n))) (compile nil '(lambda () (foo 3))) (compile nil '(lambda () (foo 3))) }}} {{{ ; Caught STYLE-WARNING: ; The variable K is defined but never used. compile-var-ref general case ; Compilation unit finished ; Caught 1 STYLE-WARNING condition => Failed AVER: "NIL" [Condition of type SIMPLE-ERROR] }}} -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/273> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 2

[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] #275: ABCL-CONTRIB still provided if abcl-contrib.jar cannot be located
by armedbear 06 Dec '12

06 Dec '12

#275: ABCL-CONTRIB still provided if abcl-contrib.jar cannot be located --------------------------+------------------------------------------------- Reporter: mevenson | Owner: mevenson Type: defect | Status: new Priority: blocker | Milestone: 1.1.0 Component: abcl-contrib | Version: 1.1.0-dev Keywords: | --------------------------+------------------------------------------------- -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/275> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 2

[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] #277: reinitialize-instance on class metaobjects incorrect
by armedbear 06 Dec '12

06 Dec '12

#277: reinitialize-instance on class metaobjects incorrect -----------------------+---------------------------------------------------- Reporter: rschlatte | Owner: rschlatte Type: defect | Status: new Priority: major | Milestone: Component: (A)MOP | Version: Keywords: | -----------------------+---------------------------------------------------- Reported by Pascal Costanza: Consider the following test case: {{{ CL-USER(1): (use-package :mop) T CL-USER(2): (defclass a () ()) #<STANDARD-CLASS A {794563AA}> CL-USER(3): (defclass b (a) ()) #<STANDARD-CLASS B {62F6FB59}> CL-USER(4): (finalize-inheritance (find-class 'a)) NIL CL-USER(5): (finalize-inheritance (find-class 'b)) NIL CL-USER(6): (class-precedence-list (find-class 'b)) (#<STANDARD-CLASS B {62F6FB59}> #<STANDARD-CLASS A {794563AA}> #<STANDARD- CLASS STANDARD-OBJECT {23309E87}> #<BUILT-IN-CLASS T {100C62C8}>) CL-USER(7): (reinitialize-instance (find-class 'b)) #<STANDARD-CLASS B {62F6FB59}> CL-USER(8): (class-precedence-list (find-class 'b)) (#<STANDARD-CLASS B {62F6FB59}> #<STANDARD-CLASS STANDARD-OBJECT {23309E87}> #<BUILT-IN-CLASS T {100C62C8}>) }}} The invocation of reinitialize-instance obviously reinitialized the direct-superclasses slot, and thus removed the superclass a. However, according to the HyperSpec, the general protocol for reinitialize-instance is always that slots for which no initargs are provided through reinitialize-instance should be left untouched. This also restated implicitly in the CLOS MOP specification, for example in the section "Initialization of Class Metaobjects:" The defaulted superclass list is specified to be only assigned during initialization, but not during reinitialization. -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/277> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 3

[armedbear-ticket] [armedbear] #276: defmethod doesn't call add-method
by armedbear 04 Dec '12

04 Dec '12

#276: defmethod doesn't call add-method -----------------------+---------------------------------------------------- Reporter: rschlatte | Owner: rschlatte Type: defect | Status: new Priority: major | Milestone: Component: (A)MOP | Version: Keywords: | -----------------------+---------------------------------------------------- Reported by Pascal Costanza: There is a problem that a defmethod may not call add-method as it should. Here is a transcript: {{{ CL-USER(1): (use-package :mop) T CL-USER(2): (defclass my-generic-function (standard-generic-function) () (:metaclass funcallable-standard-class)) #<FUNCALLABLE-STANDARD-CLASS MY-GENERIC-FUNCTION {3606AFA2}> CL-USER(3): (defgeneric f (x) (:generic-function-class my-generic- function)) #<MY-GENERIC-FUNCTION F {589D4D84}> CL-USER(4): (defmethod add-method :after ((gf my-generic-function) (m standard-method)) (print :foo)) #<STANDARD-METHOD ADD-METHOD :AFTER (MY-GENERIC-FUNCTION STANDARD-METHOD) {3F4C428F}> CL-USER(5): (defmethod f ((x integer)) (+ x x)) #<STANDARD-METHOD F (INTEGER) {27A5DAC0}> CL-USER(6): (add-method #'f *) :FOO #<MY-GENERIC-FUNCTION F {589D4D84}> CL-USER(7): (f 5) 10 }}} …or maybe just :after methods on add-method are not called… -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/276> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 3