Tighten type of fxabs.

2015-04-09 23:02:36 -07:00 · 2015-04-09 23:02:36 -07:00 · 114b9376f1
commit 114b9376f1
parent ad09e941a8
1 changed files with 1 additions and 1 deletions
--- a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
+++ b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
@ -193,7 +193,7 @@
  (define fxabs-type
    (lambda ()
      (fx-from-cases
-       (map unop (list -Zero -One -PosByte -Byte -PosIndex -Index))
+       (-> -Nat -NonNegFixnum : -true-filter : (-arg-path 0))
       ((Un -PosInt -NegInt) . -> . -PosFixnum)
       (-Int . -> . -NonNegFixnum))))
  (define fx=-type