March 2014 - cmucl-ticket - mailman3.common-lisp.net

[cmucl] #96: incorrect macroexpansion environment for defconstant
by cmucl 23 Mar '14

23 Mar '14

#96: incorrect macroexpansion environment for defconstant --------------------+------------------------------------------------------- Reporter: heller | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 2014-03 Keywords: | --------------------+------------------------------------------------------- This example can't be compiled: {{{ (macrolet ((foo (x) x)) (defconstant +foo+ (foo 123))) }}} it produces this error: {{{ Error in KERNEL:%COERCE-TO-FUNCTION: the function FOO is undefined. [Condition of type UNDEFINED-FUNCTION] }}} This might be related to ticket #40. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/96> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.

1 0

[cmucl] #95: Test failures from PCL tests
by cmucl 15 Mar '14

15 Mar '14

#95: Test failures from PCL tests --------------------+------------------------------------------------------- Reporter: rtoy | Owner: rtoy Type: defect | Status: new Priority: major | Milestone: Component: PCL | Version: 2014-03 Keywords: | --------------------+------------------------------------------------------- When running the PCL test suite, there are several failures: {{{ Failed tests: (PCL-TESTS::DEFCLASS.0) | Failed Form: '(T) | Expected (NIL) but saw (T) | DEFCLASS.0: 0 assertions passed, 1 failed. Execute failures: (PCL-TESTS::DEFGENERIC-LAMBDA-LIST.2 PCL-TESTS::DEFGENERIC-LAMBDA-LIST.1 PCL-TESTS::DEFGENERIC-LAMBDA-LIST.0) | Execution error: | (during macroexpansion) Invalid lambda variable: (PCL-TESTS::A PCL-TESTS::GF-CLASS) | DEFGENERIC-LAMBDA-LIST.2: 0 assertions passed, 0 failed, and an execution error. | Execution error: | (during macroexpansion) Generic function G: Optional and key parameters of generic functions may not have default values or supplied-p parameters: (PCL-TESTS::B 1). | DEFGENERIC-LAMBDA-LIST.1: 0 assertions passed, 0 failed, and an execution error. | Execution error: | (during macroexpansion) Generic function G: Optional and key parameters of generic functions may not have default values or supplied-p parameters: (PCL-TESTS::B 1). | DEFGENERIC-LAMBDA-LIST.0: 0 assertions passed, 0 failed, and an execution error. }}} These need to be examined and fixed. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/95> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.

1 0

[cmucl] #92: Type-derivation for log is inconsistent
by cmucl 08 Mar '14

08 Mar '14

#92: Type-derivation for log is inconsistent --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 2014-02 Keywords: | --------------------+------------------------------------------------------- Consider {{{ (defun foo (x) (declare (type (double-float 0d0) x)) (log x)) }}} When compiled, the compiler says the return type for {{{foo}}} is {{{(OR DOUBLE-FLOAT (COMPLEX DOUBLE-FLOAT))}}}. This is inconsistent with the return value of {{{(log 0d0)}}} and {{{(log -0d0)}}} which is {{{EXT :DOUBLE-FLOAT-NEGATIVE-INFINITY}}} (when the {{{:DIVIDE-BY-ZERO}}} trap is disabled). The correct derived type should be just {{{DOUBLE-FLOAT}}}. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/92> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.

1 2

[cmucl] #93: 4d-324 signals a reader error but shouldn't?
by cmucl 01 Mar '14

01 Mar '14

#93: 4d-324 signals a reader error but shouldn't? --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 2014-02 Keywords: | --------------------+------------------------------------------------------- At the repl, 4d-324 throws a reader error. But the nearest float to 4d-324 is {{{least-positive-double-float}}} so we should probably return that instead of throwing an error. But values less than {{{0.5 * least-positive-double-float}}} could be rounded to 0, but I think the reader error is still appropriate. CLHS 2.3.1.1 says exponents that are out of range should signal a reader error. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/93> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.

1 1

[cmucl] #94: double-double-float limits missing
by cmucl 01 Mar '14

01 Mar '14

#94: double-double-float limits missing --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: minor | Milestone: Component: Core | Version: 2014-02 Keywords: | --------------------+------------------------------------------------------- The double-double float limits like {{{least-positive-double-double- float}}} and friends are missing. They should be added. It's not clear, though, what values to use for largest values or the normalized values. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/94> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.

1 0