Re: [cmucl] #92: Type-derivation for log is inconsistent

#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.