Fix type for abs. Closes PR 11430.

original commit: e7c252739ddab37973cf3c013660d6c2244c44b8
2010-11-22 17:37:40 -05:00 · 2010-11-22 17:37:40 -05:00 · d7a8f14636
commit d7a8f14636
parent 26a2fd0163
1 changed files with 1 additions and 0 deletions
--- a/collects/typed-scheme/private/base-env-numeric.rkt
+++ b/collects/typed-scheme/private/base-env-numeric.rkt
@ -368,6 +368,7 @@
            (-Fixnum . -> . -NonnegativeFixnum)
            (-Pos . -> . -Pos)
            (-Integer . -> . -Nat)
+            (-ExactRational . -> . -ExactRational)
            (-Flonum . -> . -NonnegativeFlonum)
            (-InexactReal . -> . -InexactReal)
            (-Real . -> . -Real))]