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

Extend sign analysis to sqr.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-08-24 19:37:04 -04:00
parent 7fc38693ec
commit 694d2da4b3
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -428,11 +428,9 @@
[sgn (-Real . -> . -Real)] [sgn (-Real . -> . -Real)]
[pi -NonnegativeFlonum] [pi -NonnegativeFlonum]
[sqr (cl->* (-> -Pos -Pos) [sqr (cl->* (-> -Pos -Pos)
(-> -Nat -Nat) (-> -Integer -Nat)
(-> -Integer -Integer)
(-> -ExactRational -ExactRational) (-> -ExactRational -ExactRational)
(-> -NonnegativeFlonum -NonnegativeFlonum) (-> -Flonum -NonnegativeFlonum)
(-> -Flonum -Flonum)
(-> -Real -Real) (-> -Real -Real)
(-> -InexactComplex -InexactComplex) (-> -InexactComplex -InexactComplex)
(-> N N))] (-> N N))]