From 114b9376f18fc70bad2f3062455946872ffb980a Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 9 Apr 2015 23:02:36 -0700 Subject: [PATCH] Tighten type of fxabs. --- typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt index 848c5e8e..ed528968 100644 --- 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