Skip to content
Snippets Groups Projects
Commit 4ece2b2c authored by rtoy's avatar rtoy
Browse files

Fix expt derive-type optimizer. The compiler was deriving the result

type of:

    (defun foo3 (x y)
      (declare (type (double-float (0d0) 1d0) x)
	       (type (double-float (0d0)) y))
      (expt x y))

to be (double-float 0d0 1d0), i.e, including -0.0, but that's not
possible.  With this fix, the result type is (or (member 0d0)
(double-float (0d0) 1d0)), which is better.
parent 38e5c116
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment