X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Firrat.lisp;h=7fce0687b2aefad13f08dcafb96fae1783fd4381;hb=174feb792c8082846666e1218c58d5b0ab3b85b0;hp=771795a5ae6d2926e1f76796fa654d7c4c87f95c;hpb=d5393dd736972a5c84cd97fec9892cd3da80b669;p=sbcl.git

diff --git a/src/code/irrat.lisp b/src/code/irrat.lisp
index 771795a..7fce068 100644
--- a/src/code/irrat.lisp
+++ b/src/code/irrat.lisp
@@ -83,10 +83,8 @@
 
 ;;; INTEXP -- Handle the rational base, integer power case.
 
-;;; FIXME: As long as the system dies on stack overflow or memory
-;;; exhaustion, it seems reasonable to have this, but its default
-;;; should be NIL, and when it's NIL, anything should be accepted.
-(defparameter *intexp-maximum-exponent* 10000)
+(declaim (type (or integer null) *intexp-maximum-exponent*))
+(defparameter *intexp-maximum-exponent* nil)
 
 ;;; This function precisely calculates base raised to an integral
 ;;; power. It separates the cases by the sign of power, for efficiency
@@ -94,13 +92,10 @@
 ;;; a positive integer. Values of power are calculated as positive
 ;;; integers, and inverted if negative.
 (defun intexp (base power)
-  (when (> (abs power) *intexp-maximum-exponent*)
-    ;; FIXME: should be ordinary error, not CERROR. (Once we set the
-    ;; default for the variable to NIL, the un-continuable error will
-    ;; be less obnoxious.)
-    (cerror "Continue with calculation."
-	    "The absolute value of ~S exceeds ~S."
-	    power '*intexp-maximum-exponent* base power))
+  (when (and *intexp-maximum-exponent*
+	     (> (abs power) *intexp-maximum-exponent*))
+    (error "The absolute value of ~S exceeds ~S."
+	    power '*intexp-maximum-exponent*))
   (cond ((minusp power)
 	 (/ (intexp base (- power))))
 	((eql base 2)