From d97243b1e8dd90bdf4b3fba06882d425eb71cf59 Mon Sep 17 00:00:00 2001 From: Tim Brown Date: Thu, 1 Dec 2016 14:16:15 +0000 Subject: [PATCH] Update base-env-numeric.rkt (#464) Added `-Index` to second `varop` list for max so that max is typed for: `(-> Index * Index))` --- 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 c78a169e..82a3d4bc 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 @@ -1189,7 +1189,7 @@ (commutative-case -PosIndex -Index) (commutative-case -PosFixnum -Fixnum) (commutative-case -NonNegFixnum -Fixnum) - (map varop (list -NegFixnum -NonPosFixnum -PosFixnum -NonNegFixnum -Fixnum)) + (map varop (list -Index -NegFixnum -NonPosFixnum -PosFixnum -NonNegFixnum -Fixnum)) (commutative-case -PosInt -Int) (commutative-case -Nat -Int) (map varop (list -NegInt -NonPosInt -PosInt -Nat -Int))