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

More precise type for expt.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-08-06 11:09:04 -04:00
parent 4d43c21565
commit 0a45e0e361
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))]