From 879a9ec9081d379ad8d982f4cc1fabe57e2fea27 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 3 Mar 2021 15:24:25 -0500 Subject: [PATCH] Repair types for quotient/remainder. Should fix the lambda-sh package. cc @capfredf @wargray --- typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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 f54534154..ac5f365d4 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 @@ -683,7 +683,7 @@ (-Real . -> . -NonNegReal))) - (define (quotient-reminder-cases . cases) + (define (quotient-remainder-cases . cases) (for/lists (qs rs qrs) ([i (in-list cases)]) (match-define (list a b (list c d)) i) @@ -692,7 +692,7 @@ (-> a b (-values (list c d)))))) (define-values (quotient-spec remainder-spec quotient/remainder-spec) - (quotient-reminder-cases + (quotient-remainder-cases (list -Zero -Int (list -Zero -Zero)) (list -One -One (list -One -Zero)) ;; division by one is identity, and has no remainder @@ -707,6 +707,7 @@ (list -Fixnum -One (list -Fixnum -Zero)) (list -Byte -Nat (list -Byte -Byte)) (list -Byte -Int (list -Fixnum -Byte)) + (list -Index -Byte (list -Index -Byte)) (list -Index -Nat (list -Index -Index)) (list -Index -Int (list -Fixnum -Index)) (list -NonNegFixnum -Byte (list -NonNegFixnum -Byte))