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

[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