suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

More precise type for expt.

Browse Source 
original commit: 0a45e0e361d811ac07440fb24d415502d191583c
This commit is contained in:
Vincent St-Amour 2010-08-06 11:09:04 -04:00
parent 019ea62c25
commit b9ef6ec241
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/typed-scheme/private/base-env-numeric.rkt
View File

@ -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))]