Skip to content
  • rtoy's avatar
    Fix expt derive-type optimizer. The compiler was deriving the result · 4ece2b2c
    rtoy authored
    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.
    4ece2b2c