# HG changeset patch
# User wenzelm
# Date 1509733001 -3600
# Node ID 22ca0f37f49141df75040148e0a52b139536b7e0
# Parent  9cb263dbb2f74f333fde92b8bb9159ed2f42072a
delegate boundary cases to existing IntInf.pow;

diff -r 9cb263dbb2f7 -r 22ca0f37f491 src/Pure/General/integer.ML
--- a/src/Pure/General/integer.ML	Fri Nov 03 17:27:00 2017 +0100
+++ b/src/Pure/General/integer.ML	Fri Nov 03 19:16:41 2017 +0100
@@ -51,7 +51,7 @@
           in if r = 0 then l' else l' * l end;
   in
     if k < 0
-    then error "pow: negative exponent"
+    then IntInf.pow (l, k)
     else pw k l
   end;