[Sbcl-commits] CVS: sbcl/src/compiler float-tran.lisp,1.50,1.51

[Nathan F. <nf...@us...>]

Update of /cvsroot/sbcl/sbcl/src/compiler
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv9423/src/compiler

Modified Files:
	float-tran.lisp 
Log Message:
1.0.35.18: Fix type-derivation for EXPT

A small thinko in the condition checking for (EXPT <RATIONAL> <RATIONAL>).


Index: float-tran.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/float-tran.lisp,v
retrieving revision 1.50
retrieving revision 1.51
diff -u -d -r1.50 -r1.51
--- float-tran.lisp	26 Aug 2009 17:01:49 -0000	1.50
+++ float-tran.lisp	22 Feb 2010 21:54:32 -0000	1.51
@@ -1017,7 +1017,7 @@
          ;; But a positive real to any power is well-defined.
          (merged-interval-expt x y))
         ((and (csubtypep x (specifier-type 'rational))
-              (csubtypep x (specifier-type 'rational)))
+              (csubtypep y (specifier-type 'rational)))
          ;; A rational to the power of a rational could be a rational
          ;; or a possibly-complex single float
          (specifier-type '(or rational single-float (complex single-float))))