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

[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] #174: Conformance bug in time implementation
by armedbear 17 Nov '12

17 Nov '12

#174: Conformance bug in time implementation ----------------------------------------------------------------------------------------------+ Reporter: https://www.google.com/accounts/o8/id?id=AItOawkDgxhblL5hWamZidYhAD6W-l7W_L… | Owner: somebody Type: defect | Status: new Priority: trivial | Milestone: Component: other | Version: 0.27 Keywords: time, macro, conformance bug | ----------------------------------------------------------------------------------------------+ ABCL's time implementation does not return multiple values as specified in HyperSpec. (time (values 1 2)) => 1 instead of 1 and 2 a test could be (assert (= 2 (length (multiple-value-list (time (values 1 2)))))) an implementation is given [http://clisp.hg.sourceforge.net/hgweb/clisp/clisp/file/6afcecc6bb2c/src/mac… here]. -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/174> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 15

[armedbear-ticket] [armedbear] #211: closure-common fails to load correctly after compilation
by armedbear 17 Nov '12

17 Nov '12

#211: closure-common fails to load correctly after compilation ---------------------------------------------------------------+------------ Reporter: mevenson | Owner: ehuelsmann Type: defect | Status: new Priority: minor | Milestone: 1.1.0 Component: compiler | Version: 1.1.0-dev Keywords: clos compiler needs-test quicklisp closure-common | ---------------------------------------------------------------+------------ When compiling the fasl for closure-common/ystream.abcl an error in StandardClass.getClassLayout(StandardClass:205) in reading back the parameters. Interestingly, if the system is restarted, the fasl *can* be loaded without complaint, so there seems to be some artifact of the compilation process "hanging around" in memory which causes this problem. Unknown whether this affects the actual us of closure-common This error existed in abcl-1.0.1 as well, so it has nothing to do with the recent work on the MOP. {{{ 0: (#<FUNCTION {50F2A460}> #<TYPE-ERROR {79D34CA}> #<FUNCTION {50F2A460}>) 1: (APPLY #<FUNCTION {50F2A460}> (#<TYPE-ERROR {79D34CA}> #<FUNCTION {50F2A460}>)) 2: (SYSTEM::RUN-HOOK SYSTEM::*INVOKE-DEBUGGER-HOOK* #<TYPE-ERROR {79D34CA}> #<FUNCTION {50F2A460}>) 3: (INVOKE-DEBUGGER #<TYPE-ERROR {79D34CA}>) 4: org.armedbear.lisp.Lisp.error(Lisp.java:379) 5: org.armedbear.lisp.Lisp.type_error(Lisp.java:420) 6: org.armedbear.lisp.Cons.length(Cons.java:240) 7: org.armedbear.lisp.Cons.copyToArray(Cons.java:352) 8: org.armedbear.lisp.LispThread.pprint(LispThread.java:896) 9: org.armedbear.lisp.LispThread.pprint(LispThread.java:916) 10: org.armedbear.lisp.LispThread.pprint(LispThread.java:916) 11: org.armedbear.lisp.LispThread.printBacktrace(LispThread.java:825) 12: org.armedbear.lisp.LispThread.printBacktrace(LispThread.java:807) 13: org.armedbear.lisp.StandardClass.getClassLayout(StandardClass.java:206) 14: org.armedbear.lisp.Layout$6.execute(Layout.java:269) 15: org.armedbear.lisp.Symbol.execute(Symbol.java:802) 16: org.armedbear.lisp.LispThread.execute(LispThread.java:649) 17: org.armedbear.lisp.clos_728.execute(clos.lisp:3470) 18: org.armedbear.lisp.CompiledClosure.execute(CompiledClosure.java:185) 19: org.armedbear.lisp.LispThread.execute(LispThread.java:760) 20: org.armedbear.lisp.Lisp.funcall(Lisp.java:186) 21: org.armedbear.lisp.Primitives$pf_apply.execute(Primitives.java:2817) 22: (SYSTEM:%MAKE-INSTANCES-OBSOLETE #<STANDARD-CLASS RUNES::OCTET-INPUT- STREAM {7F83698F}>) 23: (#<FUNCTION {1455BCD7}> #<STANDARD-CLASS RUNES::OCTET-INPUT-STREAM {7F83698F}> :DIRECT-SUPERCLASSES (#<STANDARD-CLASS TRIVIAL-GRAY-STREAMS :TRIVIAL-GRAY-STREAM-MIXIN {7203E3B5}> #<STANDARD-CLASS GRAY-S.. 24: (APPLY #<FUNCTION {1455BCD7}> (#<STANDARD-CLASS RUNES::OCTET-INPUT- STREAM {7F83698F}> :DIRECT-SUPERCLASSES (#<STANDARD-CLASS TRIVIAL-GRAY- STREAMS:TRIVIAL-GRAY-STREAM-MIXIN {7203E3B5}> #<STANDARD-CLASS.. 25: (#<STANDARD-GENERIC-FUNCTION REINITIALIZE-INSTANCE {665C1EAE}> #<STANDARD-CLASS RUNES::OCTET-INPUT-STREAM {7F83698F}> :DIRECT- SUPERCLASSES (#<STANDARD-CLASS TRIVIAL-GRAY-STREAMS:TRIVIAL-GRAY-STREAM- MI.. 26: (APPLY #<STANDARD-GENERIC-FUNCTION REINITIALIZE-INSTANCE {665C1EAE}> #<STANDARD-CLASS RUNES::OCTET-INPUT-STREAM {7F83698F}> :DIRECT- SUPERCLASSES (#<STANDARD-CLASS TRIVIAL-GRAY-STREAMS:TRIVIAL-GRAY-STR.. 27: (#<FUNCTION {5FE63CB6}> #<STANDARD-CLASS RUNES::OCTET-INPUT-STREAM {7F83698F}> RUNES::OCTET-INPUT-STREAM :DIRECT-SUPERCLASSES (#<STANDARD- CLASS TRIVIAL-GRAY-STREAMS:TRIVIAL-GRAY-STREAM-MIXIN {7203E3B5.. 28: (APPLY #<FUNCTION {5FE63CB6}> (#<STANDARD-CLASS RUNES::OCTET-INPUT- STREAM {7F83698F}> RUNES::OCTET-INPUT-STREAM :DIRECT-SUPERCLASSES (#<STANDARD-CLASS TRIVIAL-GRAY-STREAMS:TRIVIAL-GRAY-STREAM-MIXIN {7.. 29: (#<STANDARD-GENERIC-FUNCTION ENSURE-CLASS-USING-CLASS {1A3526CF}> #<STANDARD-CLASS RUNES::OCTET-INPUT-STREAM {7F83698F}> RUNES::OCTET-INPUT- STREAM :DIRECT-SUPERCLASSES (#<STANDARD-CLASS TRIVIAL-GRAY-S.. 30: (APPLY #<STANDARD-GENERIC-FUNCTION ENSURE-CLASS-USING-CLASS {1A3526CF}> #<STANDARD-CLASS RUNES::OCTET-INPUT-STREAM {7F83698F}> RUNES ::OCTET-INPUT-STREAM (:DIRECT-SUPERCLASSES (#<STANDARD-CLASS TRIVIAL.. 31: (SYSTEM:ENSURE-CLASS RUNES::OCTET-INPUT-STREAM :DIRECT-SUPERCLASSES (#<STANDARD-CLASS TRIVIAL-GRAY-STREAMS:TRIVIAL-GRAY-STREAM-MIXIN {7203E3B5}> #<STANDARD-CLASS GRAY-STREAMS:FUNDAMENTAL-BINARY-INPUT-.. }}} -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/211> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 4

[armedbear-ticket] [armedbear] #232: Allow wrapper script to reference install directory instead of build directory
by armedbear 10 Nov '12

10 Nov '12

#232: Allow wrapper script to reference install directory instead of build directory -------------------------+-------------------------------------------------- Reporter: ehuelsmann | Owner: mevenson Type: enhancement | Status: new Priority: major | Milestone: Component: build | Version: Keywords: patch | -------------------------+-------------------------------------------------- PSau on #abcl submitted this patch which is used for building ABCL on NetBSD. I think generalization and including is appropriate. -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/232> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 3

[armedbear-ticket] [armedbear] #229: JSS method resolution failure
by armedbear 09 Nov '12

09 Nov '12

#229: JSS method resolution failure ------------------------------------------------+--------------------------- Reporter: mevenson | Owner: nobody Type: defect | Status: new Priority: critical | Milestone: 1.1.0 Component: java | Version: Keywords: jss method-resolution abcl-contrib | ------------------------------------------------+--------------------------- [http://article.gmane.org/gmane.lisp.armedbear.devel/2402 Jonathan Bona reports]: {{{ #| We found this issue while working with LSW. It seems to be a bug in how public methods are found for inner classes. The last line of code below results in an exception rather than finding and running the size() method: |# (require :abcl-contrib) (require :jss) (jss::ensure-compatibility) (setq headers (#"getHeaderFields" (#"openConnection" (jss::new 'java.net.url "http://google.com")))) ; a java.util.Collections$UnmodifiableRandomAccessList (setq ural (#"get" headers (second (jss::set-to-list (#"keySet" headers))))) ;finds: #<method public int java.util.Collections$UnmodifiableCollection.size()> (find "size" (#"getMethods" (#"getClass" ural) ) :test 'string-equal :key #"getName") ; Java exception 'java.lang.NoSuchMethodException: No applicable ; method named size found in java.lang.Object or ; java.util.Collections$UnmodifiableRandomAccessList'. (#"size" ural) #| I chased this into org.armedbear.lisp.Java, where findMethod is returning null. |# }}} -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/229> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 4

[armedbear-ticket] [armedbear] #243: ClassCastException in MAKE-PATHNAME
by armedbear 09 Nov '12

09 Nov '12

#243: ClassCastException in MAKE-PATHNAME ------------------------+--------------------------------------------------- Reporter: ehuelsmann | Owner: nobody Type: defect | Status: new Priority: major | Milestone: 1.1.0 Component: java | Version: Keywords: | ------------------------+--------------------------------------------------- ,---- | Armed Bear Common Lisp 1.1.0-dev-svn-14131M | Java 1.7.0_03 Oracle Corporation | OpenJDK 64-Bit Server VM | Low-level initialization completed in 0.3 seconds. | Startup completed in 1.456 seconds. | Loading /home/emarsden/.abclrc completed in 0.66 seconds. | Type ":help" for a list of available commands. | CL-USER(1): (make-pathname :device (list "foo")) | java.lang.ClassCastException: org.armedbear.lisp.SimpleString cannot be cast to org.armedbear.lisp.Pathname | at org.armedbear.lisp.Pathname.getNamestring(Pathname.java:657) | at org.armedbear.lisp.Pathname.printObject(Pathname.java:909) | at org.armedbear.lisp.Primitives$pf__output_object.execute(Primitives.java:907) | at org.armedbear.lisp.Symbol.execute(Symbol.java:813) | at org.armedbear.lisp.LispThread.execute(LispThread.java:653) | at org.armedbear.lisp.print_8.execute(print.lisp:127) | at org.armedbear.lisp.Symbol.execute(Symbol.java:813) | at org.armedbear.lisp.LispThread.execute(LispThread.java:653) | at org.armedbear.lisp.print_14.execute(print.lisp:281) | at org.armedbear.lisp.Symbol.execute(Symbol.java:813) | at org.armedbear.lisp.LispThread.execute(LispThread.java:653) `---- -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/243> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 3

[armedbear-ticket] [armedbear] #235: Compiled cl+ssl sources not reloadable
by armedbear 08 Nov '12

08 Nov '12

#235: Compiled cl+ssl sources not reloadable ------------------------+--------------------------------------------------- Reporter: ehuelsmann | Owner: ehuelsmann Type: defect | Status: new Priority: major | Milestone: 1.1.0 Component: compiler | Version: Keywords: | ------------------------+--------------------------------------------------- When loading compiled cl+ssl sources, abcl throws the following error: {{{ Error loading /home/ehuelsmann/.cache/common-lisp/abcl-1.1.0-dev- svn-14068-fasl39-linux- java/home/ehuelsmann/quicklisp/dists/quicklisp/software/cl+ssl-20120703-git/ffi.abcl at line 168 (offset 9318) #<THREAD "interpreter" {1513F3}>: Debugger invoked on condition of type ERROR Class not found: org.armedbear.jna.dynamic.callbacks.G15349 }}} It seems a reference to a dynamic class is saved, but the class is not regenerated upon loading in a fresh image. -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/235> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 5

[armedbear-ticket] [armedbear] #215: ABCL-ASDF:RESOLVE should work in more (some?) cases
by armedbear 13 Oct '12

13 Oct '12

#215: ABCL-ASDF:RESOLVE should work in more (some?) cases -----------------------------+---------------------------------------------- Reporter: mevenson | Owner: somebody Type: defect | Status: new Priority: critical | Milestone: 1.1.0 Component: other | Version: 1.1.0-dev Keywords: abcl-asdf maven | -----------------------------+---------------------------------------------- Failure #1: {{{ (abcl-asdf:resolve "com.sun.jna:jna") WARNING: Using LATEST for unspecified version. METADATA_RESOLVING com.sun.jna:jna/maven-metadata.xml @ /home/evenson/.m2/repository (enhanced) METADATA_RESOLVED com.sun.jna:jna/maven-metadata.xml @ /home/evenson/.m2/repository (enhanced) METADATA_RESOLVING com.sun.jna:jna/maven-metadata.xml @ central (, releases+snapshots) METADATA_DOWNLOADING com.sun.jna:jna/maven-metadata.xml @ central (, releases+snapshots) METADATA_DOWNLOADED com.sun.jna:jna/maven-metadata.xml (/home/evenson/.m2/repository/com/sun/jna/jna/maven-metadata-central.xml) @ central (, releases+snapshots) METADATA_RESOLVED com.sun.jna:jna/maven-metadata.xml @ central (, releases+snapshots) ; Evaluation aborted on #<JAVA-EXCEPTION org.sonatype.aether.collection.DependencyCollectionException: Failed to collect dependencies for com.sun.jna:jna:jar:LATEST (runtime) {39D9F91C}>. CL-USER> }}} -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/215> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 3

[armedbear-ticket] [armedbear] #237: JNA fails to load blocking CFFI
by armedbear 13 Oct '12

13 Oct '12

#237: JNA fails to load blocking CFFI -------------------------------+-------------------------------------------- Reporter: mevenson | Owner: mevenson Type: defect | Status: new Priority: blocker | Milestone: 1.1.0 Component: libraries | Version: 1.1.0-dev Keywords: abcl-contrib, jna | -------------------------------+-------------------------------------------- {{{ Error while trying to load definition for system jna from pathname jar:file:/Users/evenson/work/abcl/dist/abcl-contrib.jar!/mvn/jna.asd: Can't create directory /. [Condition of type ASDF:LOAD-SYSTEM-DEFINITION }}} -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/237> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 4

[armedbear-ticket] [armedbear] #234: ASDF-MVN errors with VERSION slot unbound
by armedbear 13 Oct '12

13 Oct '12

#234: ASDF-MVN errors with VERSION slot unbound ------------------------+--------------------------------------------------- Reporter: ehuelsmann | Owner: mevenson Type: defect | Status: new Priority: major | Milestone: Component: ASDF | Version: Keywords: | ------------------------+--------------------------------------------------- 50,852 bytes in 0.48 seconds (102.60KB/sec) ; Loading "drakma" ................................................jnaASDF could not load because The slot VERSION is unbound in the object #<MVN {1B44E59}>.. Error loading C:/Users/Erik/AppData/Local/common-lisp/cache/abcl-1.1.0 -dev-svn-1 4063m- fasl39-win-x86/C/Users/Erik/quicklisp/dists/quicklisp/software/cffi_0.10.7 .1/src/cffi-abcl.abcl at line 8 (offset 578) #<THREAD "interpreter" {1C32B82}>: Debugger invoked on condition of type UNBOUND -SLOT The slot VERSION is unbound in the object #<MVN {1B44E59}>. Restarts: 0: RETRY Retry compiling #<ASDF:MVN "jna" "com.sun.jna/jna/3.0.9">. 1: ACCEPT Continue, treating compiling #<ASDF:MVN "jna" "com.sun.jna/ jna/3.0.9"> as having been successful. 2: TRY-RECOMPILING Recompile cffi-abcl and try loading it again 3: RETRY Retry loading FASL for #<ASDF:CL-SOURCE-FILE "cffi" "src" " cffi-abcl">. 4: ACCEPT Continue, treating loading FASL for #<ASDF:CL-SOURCE- FILE " cffi" "src" "cffi-abcl"> as having been successful. 5: ABORT Give up on "drakma" 6: TOP-LEVEL Return to top level. [1] CL-USER(37): -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/234> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 4

[armedbear-ticket] [armedbear] #245: Slots of a class with a custom meta-class are reported as unbound.
by armedbear 20 Sep '12

20 Sep '12

#245: Slots of a class with a custom meta-class are reported as unbound. -----------------------+---------------------------------------------------- Reporter: sboukarev | Owner: ehuelsmann Type: defect | Status: new Priority: major | Milestone: Component: (A)MOP | Version: Keywords: | -----------------------+---------------------------------------------------- {{{ (defpackage test2 (:use :cl :mop)) (in-package test2) (defclass storable-class (standard-class) ()) (defmethod validate-superclass ((class standard-class) (superclass storable-class)) t) (defmethod validate-superclass ((class storable-class) (superclass standard-class)) t) ;;; (defclass identifiable () ((id :accessor id :initform 1)) (:metaclass storable-class)) }}} ID slot is unbound and bound at the same time, despite having an initform. (describe (make-instance 'identifiable)) #<IDENTIFIABLE {181F4B24}> is an instance of #<STORABLE-CLASS IDENTIFIABLE {1E4B2D10}>. The following slots have :INSTANCE allocation: ID unbound (slot-boundp (make-instance 'identifiable) 'id) => NIL (slot-value (make-instance 'identifiable) 'id) => 1 -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/245> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 3

[armedbear-ticket] [armedbear] #213: ABCL-ASDF breakage on trunk
by armedbear 12 Sep '12

12 Sep '12

#213: ABCL-ASDF breakage on trunk -------------------------+-------------------------------------------------- Reporter: mevenson | Owner: ehuelsmann Type: defect | Status: new Priority: major | Milestone: 1.1.0 Component: interpreter | Version: 1.1.0-dev Keywords: | -------------------------+-------------------------------------------------- Changeset 1834:d7370bc12860: bad The first bad revision is: changeset: 1834:d7370bc12860 user: ehuelsmann@1c010e3e-69d0-11dd-93a8-456734b0d56f date: Sun Jan 29 20:56:08 2012 +0000 summary: (Re)factor function call argument matching out of Closure.java. -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/213> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 5

[armedbear-ticket] [armedbear] #186: org.armedbear.lisp.IntegrityError means you need to check out how ABCL is finding boot.lisp
by armedbear 02 Sep '12

02 Sep '12

#186: org.armedbear.lisp.IntegrityError means you need to check out how ABCL is finding boot.lisp ----------------------------+----------------------------------------------- Reporter: mevenson | Owner: mevenson Type: defect | Status: new Priority: major | Milestone: unscheduled Component: other | Version: 1.0 Keywords: IntegrityError | ----------------------------+----------------------------------------------- [http://paste.lisp.org/+2P0S/1 org.armedbear.lisp.IntegrityError] -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/186> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 1

[armedbear-ticket] [armedbear] #130: SLIME under Windows has "extra" CRLF
by armedbear 02 Sep '12

02 Sep '12

#130: SLIME under Windows has "extra" CRLF ----------------------+----------------------------------------------------- Reporter: mevenson | Owner: mevenson Type: defect | Status: new Priority: minor | Milestone: Component: other | Version: Keywords: | ----------------------+----------------------------------------------------- Reported by ehu via #abcl -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/130> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 4

[armedbear-ticket] [armedbear] #241: &rest and &aux can't coexist anymore in lambda lists
by armedbear 02 Sep '12

02 Sep '12

#241: &rest and &aux can't coexist anymore in lambda lists -----------------------+---------------------------------------------------- Reporter: sboukarev | Owner: ehuelsmann Type: defect | Status: new Priority: major | Milestone: 1.1.0 Component: compiler | Version: Keywords: | -----------------------+---------------------------------------------------- (compile nil '(lambda (&rest foo &aux x))) => The value FOO is not of type LIST. And some illegal combinations are accepted: (compile nil '(lambda (&aux x &rest))) Treats &rest as a variable. Which is correct in theory, but highly unlikely to be used on purpose. (compile nil '(lambda (&rest args &optional x))) (compile nil '(lambda (&key key &optional x))) -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/241> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 4

[armedbear-ticket] [armedbear] #225: One of the paths in STD-COMPUTE-DISCRIMINATING function not working
by armedbear 01 Sep '12

01 Sep '12

#225: One of the paths in STD-COMPUTE-DISCRIMINATING function not working ------------------------+--------------------------------------------------- Reporter: ehuelsmann | Owner: somebody Type: defect | Status: new Priority: major | Milestone: 1.1.0 Component: CLOS | Version: Keywords: | ------------------------+--------------------------------------------------- In r14021, I've committed a note regarding a code path that's not working. Creating this ticket to create a log of the fact that I've been investigating and my findings so far. (Which are in the code now.) -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/225> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 2

[armedbear-ticket] [armedbear] #216: JVM stack inconsistency triggered by compiler
by armedbear 01 Sep '12

01 Sep '12

#216: JVM stack inconsistency triggered by compiler -----------------------+---------------------------------------------------- Reporter: rschlatte | Owner: ehuelsmann Type: defect | Status: new Priority: major | Milestone: Component: compiler | Version: Keywords: | -----------------------+---------------------------------------------------- {{{ CL-USER(50): (lisp-implementation-version) "1.1.0-dev-svn-13998M" CL-USER(51): (lambda (a b c) (declare (optimize (safety 0))) (ash 3 (min 2 (the integer (block b (catch 'ct a)))))) #<FUNCTION (LAMBDA (A B C)) {374FB6BE}> CL-USER(52): (compile nil *) ; Caught STYLE-WARNING: ; The variable B is defined but never used. ; Caught STYLE-WARNING: ; The variable C is defined but never used. #<THREAD "interpreter" {5D4AAA93}>: Debugger invoked on condition of type INTERNAL-COMPILER-ERROR Stack inconsistency detected in NIL at index 36: found 2, expected 1. Restarts: 0: CONTINUE Eventually use interpreted form instead 1: TOP-LEVEL Return to top level. }}} (reported by Eric Marsden on armedbear-devel July 10, 2012) -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/216> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 2

[armedbear-ticket] [armedbear] #189: Compiler fails for 'unsigned-byte type declaration
by armedbear 01 Sep '12

01 Sep '12

#189: Compiler fails for 'unsigned-byte type declaration --------------------------------+------------------------------------------- Reporter: mevenson | Owner: ehuelsmann Type: defect | Status: new Priority: minor | Milestone: 1.0.1 Component: compiler | Version: 1.0 Keywords: compiler, has-test | --------------------------------+------------------------------------------- From [http://article.gmane.org/gmane.lisp.armedbear.devel/2122 On <armedbear-devel@…>, Eric Marsden reports]: The following code seems to be miscompiled (works fine with an INTEGER type declaration). {{{ CL-USER(23): (lisp-implementation-version) "1.1.0-dev-svn-13695M" CL-USER(24): (compile nil (lambda (a) (declare (type unsigned-byte a)) (max 28105919 a 1016934843))) #<FUNCTION (LAMBDA (A)) {2D53EAFD}> NIL NIL CL-USER(25): (funcall * 10545160975) 1955226383 }}} (From ansi-test/random suite) -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/189> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 2

[armedbear-ticket] [armedbear] #207: DECLARE should signal conditions when type declaration are violated
by armedbear 01 Sep '12

01 Sep '12

#207: DECLARE should signal conditions when type declaration are violated ------------------------------+--------------------------------------------- Reporter: mevenson | Owner: ehuelsmann Type: defect | Status: new Priority: major | Milestone: 1.1.0 Component: interpreter | Version: 1.1.0-dev Keywords: ansi-conformance | ------------------------------+--------------------------------------------- On #abcl, chtune notes http://paste.lisp.org/display/129139: {{{ defun test (x) (let ((j 10)) (declare (integer x)) (+ x j))) (test 10.4) ; => 20.4 ; I would expect this to throw a type error }}} -- Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/207> armedbear <http://common-lisp.net/project/armedbear> armedbear

1 3