From cmucl-devel at common-lisp.net Sat Mar 8 19:36:03 2014 From: cmucl-devel at common-lisp.net (cmucl) Date: Sat, 08 Mar 2014 19:36:03 -0000 Subject: [cmucl] #92: Type-derivation for log is inconsistent In-Reply-To: <052.7f579e2051309d87f6b7ab3ab9df65df@common-lisp.net> References: <052.7f579e2051309d87f6b7ab3ab9df65df@common-lisp.net> Message-ID: <061.82e684c0f3921239b7ceb967b02533a1@common-lisp.net> #92: Type-derivation for log is inconsistent ---------------------+------------------------------------------------------ Reporter: rtoy | Owner: somebody Type: defect | Status: reopened Priority: major | Milestone: Component: Core | Version: 2014-02 Resolution: | Keywords: ---------------------+------------------------------------------------------ Changes (by rtoy): * status: closed => reopened * resolution: fixed => Comment: This is actually incorrect. We really want {{{log(-0)}}} to return {{{-inf + i*pi}}} so that the branch cuts of special functions can be computed correctly from the definition. -- Ticket URL: cmucl Cmucl is a high-performance, free Common Lisp implementation. From cmucl-devel at common-lisp.net Sat Mar 15 05:20:08 2014 From: cmucl-devel at common-lisp.net (cmucl) Date: Sat, 15 Mar 2014 05:20:08 -0000 Subject: [cmucl] #95: Test failures from PCL tests Message-ID: <052.a2b9fcb02727c562239f7e50faa277c7@common-lisp.net> #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: cmucl Cmucl is a high-performance, free Common Lisp implementation. From cmucl-devel at common-lisp.net Sat Mar 1 04:55:52 2014 From: cmucl-devel at common-lisp.net (cmucl) Date: Sat, 01 Mar 2014 04:55:52 -0000 Subject: [cmucl] #94: double-double-float limits missing Message-ID: <052.bd7e48b236c98a707ce82ea178245cb1@common-lisp.net> #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: cmucl Cmucl is a high-performance, free Common Lisp implementation. From cmucl-devel at common-lisp.net Sat Mar 1 16:44:48 2014 From: cmucl-devel at common-lisp.net (cmucl) Date: Sat, 01 Mar 2014 16:44:48 -0000 Subject: [cmucl] #93: 4d-324 signals a reader error but shouldn't? In-Reply-To: <052.136913935a490d84095b8c5288fd4cc4@common-lisp.net> References: <052.136913935a490d84095b8c5288fd4cc4@common-lisp.net> Message-ID: <061.3a5d36d0c223a5501e2f62400558ffa9@common-lisp.net> #93: 4d-324 signals a reader error but shouldn't? ---------------------+------------------------------------------------------ Reporter: rtoy | Owner: somebody Type: defect | Status: closed Priority: major | Milestone: Component: Core | Version: 2014-02 Resolution: fixed | Keywords: ---------------------+------------------------------------------------------ Changes (by toy.raymond@?): * status: new => closed * resolution: => fixed Comment: commit f9be60b19ca38fbbf34dc64bf5442f119afe2725 Author: Raymond Toy Date: Sat Mar 1 08:43:26 2014 -0800 Fix ticket 93. * Round the number to least-positive-foo-float when possible, but still throw an error if it's too small but not zero. * Update comments to mention CLHS 2.3.1.1. -- Ticket URL: cmucl Cmucl is a high-performance, free Common Lisp implementation. From cmucl-devel at common-lisp.net Sun Mar 23 17:54:36 2014 From: cmucl-devel at common-lisp.net (cmucl) Date: Sun, 23 Mar 2014 17:54:36 -0000 Subject: [cmucl] #96: incorrect macroexpansion environment for defconstant Message-ID: <054.fe838fe612b683f5593c90ca9ae92662@common-lisp.net> #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: cmucl Cmucl is a high-performance, free Common Lisp implementation.