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

[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

Re: [cmucl] #87: run-program and binary streams
by cmucl 10 Feb '14

10 Feb '14

#87: run-program and binary streams --------------------------+------------------------------------------------- Reporter: heller | Owner: somebody Type: enhancement | Status: closed Priority: minor | Milestone: Component: Core | Version: 20e Resolution: fixed | Keywords: --------------------------+------------------------------------------------- Changes (by toy.raymond@…): * status: new => closed * resolution: => fixed Comment: commit 53c2f46a97425ce7af98550529711de3293a5692 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Feb 9 17:18:49 2014 -0800 Fix ticket:87 Add {{{:ELEMENT-TYPE}}} keyword option to {{{RUN-PROGRAM}}} * src/code/run-program.lisp: * Add :element-type option, and use it as needed when creating input or output streams. * tests/trac.lisp: * Add tests. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/87#comment:1> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.

1 0

[cmucl] #91: ppc fails tan.exceptions test
by cmucl 03 Feb '14

03 Feb '14

#91: ppc fails tan.exceptions test --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 2014-01 Keywords: | --------------------+------------------------------------------------------- The test {{{(tan ext:double-float-positive-infinity)}}} correctly generates an invalid operation, but the test code doesn't catch it for some reason. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/91> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.

1 0