From cmucl-devel at common-lisp.net Mon Feb 3 16:51:20 2014 From: cmucl-devel at common-lisp.net (cmucl) Date: Mon, 03 Feb 2014 16:51:20 -0000 Subject: [cmucl] #91: ppc fails tan.exceptions test Message-ID: <052.1596dc09a74cdedf68cadb26a6b13c8e@common-lisp.net> #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: cmucl Cmucl is a high-performance, free Common Lisp implementation. From cmucl-devel at common-lisp.net Mon Feb 10 01:20:47 2014 From: cmucl-devel at common-lisp.net (cmucl) Date: Mon, 10 Feb 2014 01:20:47 -0000 Subject: [cmucl] #87: run-program and binary streams In-Reply-To: <054.66ab9910a39d0f03ac8674f56874d892@common-lisp.net> References: <054.66ab9910a39d0f03ac8674f56874d892@common-lisp.net> Message-ID: <063.bfc8724d62e6820580205cc1c02094ed@common-lisp.net> #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 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: cmucl Cmucl is a high-performance, free Common Lisp implementation. From cmucl-devel at common-lisp.net Sun Feb 9 17:53:23 2014 From: cmucl-devel at common-lisp.net (cmucl) Date: Sun, 09 Feb 2014 17:53:23 -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.2f0de092af4bff44b4c205bb58d96677@common-lisp.net> #92: Type-derivation for log is inconsistent ---------------------+------------------------------------------------------ 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 8970ad11b03f863b40a9ee352d3aced52b783cce Author: Raymond Toy Date: Sun Feb 9 09:53:11 2014 -0800 Fix ticket:92 Type derivation for log fixed to be consistent with the actual returned values. * src/compiler/float-tran.lisp: * Update {{{LOG-DERIVE-TYPE-AUX-1}}} to compute the correct type. * tests/trac.lisp: * Add test for trac ticket:92 -- Ticket URL: cmucl Cmucl is a high-performance, free Common Lisp implementation. From cmucl-devel at common-lisp.net Sun Feb 9 17:32:11 2014 From: cmucl-devel at common-lisp.net (cmucl) Date: Sun, 09 Feb 2014 17:32:11 -0000 Subject: [cmucl] #92: Type-derivation for log is inconsistent Message-ID: <052.7f579e2051309d87f6b7ab3ab9df65df@common-lisp.net> #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: cmucl Cmucl is a high-performance, free Common Lisp implementation. From cmucl-devel at common-lisp.net Fri Feb 21 16:21:20 2014 From: cmucl-devel at common-lisp.net (cmucl) Date: Fri, 21 Feb 2014 16:21:20 -0000 Subject: [cmucl] #93: 4d-324 signals a reader error but shouldn't? Message-ID: <052.136913935a490d84095b8c5288fd4cc4@common-lisp.net> #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: cmucl Cmucl is a high-performance, free Common Lisp implementation.