Tighten type of fxquotient

2015-04-09 22:59:06 -07:00 · 2015-04-09 22:59:06 -07:00 · ad09e941a8
commit ad09e941a8
parent c923663e55
1 changed files with 1 additions and 3 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
@ -163,9 +163,7 @@
    (lambda ()
      (fx-from-cases
       (-Zero -Int . -> . -Zero)
-       (map (lambda (t) (-> t -One t)) ; division by one is identity
-            (list -PosByte -Byte -PosIndex -Index
-                  -PosFixnum -NonNegFixnum -NegFixnum -NonPosFixnum -Fixnum))
+       (-> -Int -One -Fixnum : -true-filter : (-arg-path 0))
       (-Byte -Nat . -> . -Byte)
       (-Index -Nat . -> . -Index)
       (-Nat -Nat . -> . -NonNegFixnum)