From 40e7c969abdf7bb9015802da92396249587ed665 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 31 Dec 2015 14:32:18 -0600 Subject: [PATCH] Refine type of `min`. Closes PR14896. --- typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt | 4 ++++ typed-racket-test/succeed/pr14896.rkt | 2 ++ 2 files changed, 6 insertions(+) create mode 100644 typed-racket-test/succeed/pr14896.rkt 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 8785cbd2..9c5f8961 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 @@ -1225,6 +1225,10 @@ (map varop (list -PosByte -Byte -PosIndex -Index -PosFixnum -NonNegFixnum)) (commutative-case -NegFixnum -Fixnum) (commutative-case -NonPosFixnum -Fixnum) + (commutative-case -PosByte -PosInt) + (commutative-case -Byte -Nat) + (commutative-case -PosFixnum -PosInt) + (commutative-case -NonNegFixnum -Nat) (map varop (list -NegFixnum -NonPosFixnum -Fixnum -PosInt -Nat)) (commutative-case -NegInt -Int) (commutative-case -NonPosInt -Int) diff --git a/typed-racket-test/succeed/pr14896.rkt b/typed-racket-test/succeed/pr14896.rkt new file mode 100644 index 00000000..05dc9b7d --- /dev/null +++ b/typed-racket-test/succeed/pr14896.rkt @@ -0,0 +1,2 @@ +#lang typed/racket +(ann (min 255 (max 0 (ann 0 Integer))) Byte)