From b9ef6ec241873397387c798478431ca74190add0 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 6 Aug 2010 11:09:04 -0400 Subject: [PATCH] More precise type for expt. original commit: 0a45e0e361d811ac07440fb24d415502d191583c --- collects/typed-scheme/private/base-env-numeric.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt index 7805bd08..73713950 100644 --- a/collects/typed-scheme/private/base-env-numeric.rkt +++ b/collects/typed-scheme/private/base-env-numeric.rkt @@ -397,6 +397,7 @@ (-Real -Real . -> . N))] [expt (cl->* (-Nat -Nat . -> . -Nat) (-Integer -Nat . -> . -Integer) + (-Integer -Integer . -> . -ExactRational) (-Real -Integer . -> . -Real) (-InexactComplex -InexactComplex . -> . -InexactComplex) (N N . -> . N))]