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

Type of expt was overly optimistic.

Browse Source
This commit is contained in:
Vincent St-Amour 2015-11-29 15:47:24 -06:00
parent 581469e749
commit 781e0504bb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
View File

@ -1628,7 +1628,7 @@
(-NonNegReal -Fixnum . -> . -Real)
(-InexactReal (Un -NegFixnum -PosFixnum) . -> . -InexactReal)
(-InexactReal -InexactReal . -> . (Un -InexactReal -InexactComplex))
(-Real -Integer . -> . -Real)
(-Real -Nat . -> . -Real)
(-FloatComplex -FloatComplex . -> . -FloatComplex)
(-FloatComplex -Flonum . -> . (Un -FloatComplex -Flonum))
(-FloatComplex -InexactReal . -> . (Un -FloatComplex -InexactReal))